y R x a la relación definida de A en B por (x,y) ∈ R si x divide a y (el resto de la división de y por x es
cero). Definir R por extensión y encontrar dominio e imagen de la relación.
Solución:
R = {(2, 4), (2, 6), (3, 3), (3, 6), (4, 4)}
Dom (R) = {2, 3, 4} Im (R) = {3, 4, 6}
Cuando los conjuntos de partida y de llegada de una relación R son el mismo conjunto A,
decimos que R es una relación definida en A, o, simplemente, una relación en A. Una relación
R en A es entonces un subconjunto de A
2
= A x A.
Si A, por ejemplo, es el conjunto de todos los números reales, hay muchas relaciones que se
usan comúnmente de A en A (“menor que”, “mayor o igual que”, “igual a”, “distinto de”, etc.).
Ejemplo
Sea A = {1, 2, 3, 4, 5} y sea R la relación definida por: x R y ⇔ x < y
Definir R por extensión y encontrar dominio e imagen de la relación.
Solución:
R = {(1,2), (1,3), (1,4), (1,5), (2, 3), (2,4), (2,5), (3,4), (3, 5), (4,5)}
Dom (R) = {1,2,3,4} Im (R) = {2,3,4,5}
Sea A un conjunto y R una relación definida en A
● R es reflexiva si para todo x ∈ A, el par (x ,x) ∈ R.
∀ x,[ x ∈ A ⇒ (x, x) ∈ R]
● R es simétrica si siempre que un par (x, y) ∈ R, el par (y, x) también pertenece a R.
∀x, ∀y, [(x ,y) ∈ R ⇒ (y, x) ∈ R]
● R es antisimétrica si no existen elementos diferentes x e y en A tales que (x ,y) ∈ R y
también (y, x) ∈ R.
∀x, ∀y,[ (x, y) ∈ R ∧ (y ,x) ∈ R ⇒ x = y]
● R es transitiva si siempre que un par (x, y) ∈ R y un par (y, x) ∈ R entonces también
pertenece a R el par (x, z).
∀x, ∀y, ∀z, [(x, y) ∈ R ∧ (y, z) ∈ R ⇒ (x ,z) ∈ R]