5.1.2 Relación binaria.

Llamamos relación binaria a la relación R existente entre dos elementos a y b, de dos conjuntos A y B respectivamente. Indicando que el elemento a está relacionado con b. Esta relación se puede denotar de diversas formas:

1- Como pares ordenados (a, b).

2- Indicando que aRb.

3- Como una mezcla entra los dos anteriores R (a, b).

Al conjunto de todos los elementos relacionados mediante la relación R en un conjunto lo denotamos como R (M)

Ejemplo: Sea el conjunto A = {el conjunto de los números naturales}, una relación binaria del conjunto de A sobre sí mismo puede ser, R = ser múltiplo de...

De tal forma que, por ejemplo 4 está relacionado con 2 (es decir, 4 es un múltiplo de 2), por tanto escribimos 4R2 o (4,2).