Relación matemática

Una relación , de los conjuntos es un subconjunto del producto cartesiano

Una relación binaria es una relación entre dos

El concepto de relación implica la idea de enumeración, de algunos de los elementos, de los conjuntos que forman tuplas.

Un caso particular es cuando todos los conjuntos de la relación son iguales: en este caso se representa como , pudiéndose decir que la relación pertenece a A a la n.

Tipos de relaciones

En las relaciones se diferencian los tipos según el número de conjuntos en el producto cartesiano, que es el número de términos de la relación:

Relación unaria: un solo conjunto
Relación binaria: con dos conjuntos
Relación ternaria: con tres conjuntos
Relación cuaternaria: con cuatro conjuntos
Relación n-aria: caso general con n conjuntos