Relaciones

Una relación R_{\ }^{\ }, de los conjuntos A_1, A_2, \ldots , A_n es un subconjunto del producto cartesiano

R\subseteq A_1 \times A_2 \times \ldots \times A_n
Una relación binaria es unarelación entre dos conjuntos.

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

R(a_1,a_2, \ldots ,a_n) \qquad \mbox{o bien}\qquad (a_1,a_2, \ldots ,a_n) \in R
Un caso particular es cuando todos los conjuntos de la relación son iguales: A_1 = A_2 = \ldots = A_n en este caso se representa A \times A \times \ldots \times Acomo A^n \, , pudiéndose decir que la relación pertenece a A a la n.

R\subseteq A^n

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

Relación unaria: un solo conjunto R \subseteq A , \; R(a)
Relación binaria: con dos conjuntos R \subseteq A_1 \times A_2 , \;R(a_1,a_2)
Relación ternaria: con tres conjuntos R \subseteq A_1 \times A_2 \times A_3 , \; R(a_1,a_2,a_3)
Relación cuaternaria: con cuatro conjuntos R \subseteq A_1 \times A_2 \times A_3 \times A_4 ,\; R(a_1,a_2,a_3,a_4)
Relación n-aria: caso general con n conjuntos R \subseteq A_1 \times A_2 \ldots \times A_n , \; R(a_1,a_2,\ldots,a_n)

En si podemos decir que una relación es Una relaciónes un conjunto de parejas ordenadas. Si a y b son dos conjuntos cualesquiera, r es una relación de a en b sí y sólo sí r es subconjunto de a x b. y se divide en varios tipos tales como. Relación dematriz, Relación transitiva, Relación reflexiva, Relación de pertenencia Relación simétrica.

INTRODUCCION
En si podemos decir que una relación es Una relación es un conjunto de parejas ordenadas.Si a y b son dos conjuntos cualesquiera, r es una relación de a en b sí y sólo sí r es
subconjunto de a x b.
y se divide en varios tipos tales como.
Relación de matriz
Relación transitiva...