RELACIONES - ALGEBRA DISCRETA

Antes de afrontar el estudio de las relaciones binaria, veamos algunos conceptos que es necesario conocer: Par ordenado Artículo principal: Par ordenado. Las partes de un par ordenado son: Primer conjunto Primer componente Segundo conjunto Segundo componente Del siguiente par ordenado (a, b) podemos decir que: a es el primer componente del primer conjunto y; b como el segundo componente del segundo conjunto. Matemáticamente esto se expresa: A \times B = \{(x,y) \; | \quad x \in A \quad \land \quad y \in B \} y se lee: El producto de A con B, es el conjunto de los pares ordenados (x,y) tales que x pertenece a A e y pertenece a B.