El documento define una relación como un vínculo entre dos objetos que puede establecerse entre elementos de un mismo conjunto o de conjuntos diferentes. Una relación binaria se compone de pares ordenados que indican la asociación entre dos elementos, donde el orden del par muestra la dirección de la relación. Por ejemplo, la relación "menor que" entre números naturales se representa como pares ordenados como (2,3) que indica 2 es menor que 3.

1. Definición de RelaciónDefinición de Relación
El concepto de relación surge de manera natural en el análisis de un sistema.El concepto de relación surge de manera natural en el análisis de un sistema.
Un ejemplo, en los números Naturales se establece la relación “… es menorUn ejemplo, en los números Naturales se establece la relación “… es menor
que ...”. Bajo esta relaciónque ...”. Bajo esta relación RR el número 2 se relaciona con el 3: 2 es menor que 3,el número 2 se relaciona con el 3: 2 es menor que 3,
pero no así al contrario (3 no es menor que 2).pero no así al contrario (3 no es menor que 2).
Una relación es binaria cuando se establece entre dos objetos.Una relación es binaria cuando se establece entre dos objetos.
Un ejemploUn ejemplo: R: R : x < y . Una relación es un conjunto de pares ordenados. Un par: x < y . Una relación es un conjunto de pares ordenados. Un par
ordenado (también llamada pareja ordenada) consta de dos elementos: (a, b) enordenado (también llamada pareja ordenada) consta de dos elementos: (a, b) en
donde el orden en que aparece (primero a, después b) indica la relación: a Rb dedonde el orden en que aparece (primero a, después b) indica la relación: a Rb de
a con b.a con b.
Una relación asocia un elemento de un conjunto A con un elemento de otroUna relación asocia un elemento de un conjunto A con un elemento de otro
conjunto B o con un elemento del mismo conjunto A.conjunto B o con un elemento del mismo conjunto A.