En el caso del producto cartesiano primero se define una relacin entre cualquier nmero de conjuntos y posteriormente se trata el caso particular de slo dos conjuntos, como se ejemplific de manera informal al inicio de la unidad.
Definicin. Sean los conjuntos
. Una relacin n-aria en estos conjuntos
es un subconjunto del producto cartesiano n-ario
. Los conjuntos son llamados el dominio y n se conoce como el grado de la relacin. Simblicamente:
Si = 0, se llama a esta relacin, una relacin vaca. Si
, ser una relacin universal, mientras que en el caso particular en que slo se tengan tres conjuntos ser una relacin ternaria y para dos conjuntos una relacin binaria. El resto de esta unidad estar dedicado a relaciones binarias, a sus propiedades y a las operaciones que es posible llevar a cabo con ellas.