Ejemplo 6.1. Sean los conjuntos
A = {a | a g Z; 10 < a < 30}
B = {b | b g Z+; b < 20}
y sea R una relación de A en B, en donde el elemento a g A es divisible entre 13 y b g B es primo.
Como resultando se obtiene la siguiente relación:
R = {(13, 2), (13, 3), (13, 5), (13, 7), (13, 11), (13, 13), (13, 17), (13, 19), (26, 2), (26, 3), (26, 5), (26, 7), (26, 11), (26, 13), (26, 17), (26, 19)}
Hay que observar que las relaciones también se pueden representar como un conjunto de pares ordenados, en donde el elemento ae A está relacio nado con el segundo elemento b e B, por medio de cierta condición esta blecida. En este caso la condición es que el primer elemento de los pares ordenados sea un entero entre 10 y 30, divisible entre 13, y el segundo elemento es un entero positivo primo, menor o igual a 20. Otra forma de representar de este conjunto es
R = {(a, b) | a g Z, b g Z+; a es divisible entre 13; 10 < a < 30; b es primo; b < 20}