CAPÍTULO 2.

RELACIONES Y FUNCIONES

RELACIÓN. Se denomina relación al conjunto de pares ordenados, subconjunto de un producto

cartesiano, cuyas componentes están relacionadas entre sí bajo alguna regla de correspondencia.

NOTACIÓN. Toda relación dada por pares ordenados (x,y) se denotan por:

𝑥𝑅𝑦
(𝑥, 𝑦) ∈ 𝑅

Ejm) Sean 𝐴 = {5,7,14,23}; 𝐵 = {8,24,45}

𝑅 ∈𝐴×𝐵
(𝑥, 𝑦) ∈ 𝑅 ⇔ 𝑥 + 𝑦 𝑒𝑠 𝑝𝑟𝑖𝑚𝑜

Analizando el producto cartesiano para identificar los pares que corresonden a la relación:

𝐴 × 𝐵 = {(5,8), (5,24), (5,45), (7,8), (7,24), (7,45), (14,8), (14,24), (14,45), (23,8), (23,24), (23,45)}
Los pares ordenados que satisfacen la relación serán

𝑅 = {(5,8), (5,24), (7,24), (14,45), (23,8), (23,24)}

REPRESENTACIÓN.

A través de Diagramas de Venn

A través de esquemas cartesianos

Por matrices:

A/B 8 24 45
5 1 1 0
7 0 1 0
14 0 0 1
23 1 1 0

Donde se utiliza: 1 ∈ 𝑅; 0 ∉ 𝑅

DOOMINIO DE UNA RELACIÓN.

𝐷𝑅 = {𝑥/(𝑥, 𝑦) ∈ 𝑅}
IMAGEN DE UNA RELACIÓN.

𝐼𝑅 = {𝑦/(𝑥, 𝑦) ∈ 𝑅}

Del ejemplo:

𝐷𝑅 = {5,7,14,23}
𝐼𝑅 = {8,24,45}
RELACIÓN INVERSA.

Denotada por 𝑅 −1

𝑅 −1 = {(𝑦, 𝑥)/(𝑥, 𝑦) ∈ 𝑅}

Del ejemplo:

𝑅 = {(5,8), (5,24), (7,24), (14,45), (23,8), (23,24)}

𝑅 −1 = {(8,5), (24,5), (24,7), (45,14), (8,23), (24,23)}

COMPOSICIÓN DE RELACIONES.

Dadas dos relaciones: 𝑅 ∈ 𝐴 × 𝐵; 𝑆 ∈ 𝐵 × 𝐶, al componer ambas relaciones:

𝑆∘𝑅 ∈𝐴×𝐶

𝑆 ∘ 𝑅: 𝐴 → 𝐶
Ejm) Dadas las relaciones:

𝑅 = {(3,5), (7,2), (4,1), (2,5), (2,3)}

𝑆 = {(1,2), (3,1), (8,4), (3,3)}
Al componer 𝑆 ∘ 𝑅: 𝐴 → 𝐶:

𝑆 ∘ 𝑅 = {(4,2), (2,1), (2,3)}

Pero 𝑅 ∘ 𝑆: 𝐶 → 𝐴

𝑅 ∘ 𝑆 = {(1,5), (1,3), (8,1), (3,5)}

PROPIEDADES:

1) 𝑆 ∘ 𝑅 ≠ 𝑅 ∘ 𝑆
2) 𝑅 ∘ 𝑆 ∘ 𝑇 = (𝑅 ∘ 𝑆) ∘ 𝑇 = 𝑅 ∘ (𝑆 ∘ 𝑇)
3) (𝑅 ∘ 𝑆)−1 = 𝑆 −1 ∘ 𝑅 −1
Del ejemplo:

𝑅 = {(3,5), (7,2), (4,1), (2,5), (2,3)}

𝑆 = {(1,2), (3,1), (8,4), (3,3)}
Sus inversas:

𝑅 −1 = {(5,3), (2,7), (1,4), (5,2), (3,2)}

𝑆 −1 = {(2,1), (1,3), (4,8), (3,3)}
Al componer:

𝑆 −1 ∘ 𝑅 −1 = {(5,3), (1,8), (5,1), (3,1)}

Para demostrar:

(𝑅 ∘ 𝑆)−1 = 𝑆 −1 ∘ 𝑅 −1

𝑅 ∘ 𝑆 = {(1,5), (1,3), (8,1), (3,5)}

(𝑅 ∘ 𝑆)−1 = {(5,1), (3,1), (1,8), (5,3)}

Comparando:

(𝑅 ∘ 𝑆)−1 = 𝑆 −1 ∘ 𝑅 −1
{(5,1), (3,1), (1,8), (5,3)} = {(5,3), (1,8), (5,1), (3,1)}

Se verifica

RELACIONES DEFINIDAS EN UN CONJUNTO.

Donde 𝑅 ∈ 𝐴 × 𝐴
Ejm) Sea:

𝐴 = {3,7,15,27}
Donde 𝑅 ∈ 𝐴 × 𝐴 y está definida por:

(𝑥, 𝑦) ∈ 𝑅 ⇔ 𝑥|(𝑥 + 𝑦)
𝐴 × 𝐴 = {(3,3), (3,7), (3,15), (3,27), (7,3), (7,7), (7,15), (7,27), (15,3), (15,7), (15,15), (15,27), (27,3), (27,7), (27,15), (27,27)}

𝑅 = {(3,3), (3,15), (3,27), (7,7), (15,15), (27,27)}

PROPIEDADES. Dada una relación 𝑅 ⊂ 𝐴 × 𝐴:

1) REFLEXIVIDAD
𝑅 𝑒𝑠 𝑅𝑒𝑓𝑙𝑒𝑥𝑖𝑣𝑎 ⟺ ∀𝑥 ∈ 𝐴: 𝑥𝑅𝑥

𝑅 𝑒𝑠 𝑁𝑜 𝑅𝑒𝑓𝑙𝑒𝑥𝑖𝑣𝑎 ⟺ ∃𝑥 ∈ 𝐴/𝑥𝑅𝑥

𝑅 𝑒𝑠 𝐴𝑟𝑟𝑒𝑓𝑙𝑒𝑥𝑖𝑣𝑎 ⟺ ∀𝑥 ∈ 𝐴: 𝑥𝑅𝑥

2) SIMETRÍA
𝑅 𝑒𝑠 𝑆𝑖𝑚é𝑡𝑟𝑖𝑐𝑎 ⟺ ∀𝑥 ∈ 𝐴, ∀𝑦 ∈ 𝐴: 𝑥𝑅𝑦 ∧ 𝑦𝑅𝑥

𝑅 𝑒𝑠 𝑁𝑜 𝑆𝑖𝑚é𝑡𝑟𝑖𝑐𝑎 ⟺ ∃𝑥 ∈ 𝐴, ∃𝑦 ∈ 𝐴/𝑥𝑅𝑦 ∧ 𝑦𝑅𝑥

𝑅 𝑒𝑠 𝐴𝑠𝑖𝑚é𝑡𝑟𝑖𝑐𝑎 ⟺ ∀𝑥 ∈ 𝐴, ∀𝑦 ∈ 𝐴: 𝑥𝑅𝑦 ∧ 𝑦𝑅𝑥

𝑅 𝑒𝑠 𝐴𝑛𝑡𝑖𝑠𝑖𝑚é𝑡𝑟𝑖𝑐𝑎 ⟺ ∀𝑥 ∈ 𝐴, ∀𝑦 ∈ 𝐴: 𝑥𝑅𝑦 ∧ 𝑦𝑅𝑥 ⟺ 𝑥 = 𝑦

3) TRANSITIVIDAD
𝑅 𝑒𝑠 𝑇𝑟𝑎𝑛𝑠𝑖𝑡𝑖𝑣𝑎 ⟺ ∀𝑥 ∈ 𝐴, ∀𝑦 ∈ 𝐴, ∀𝑧 ∈ 𝐴: 𝑥𝑅𝑦 ∧ 𝑦𝑅𝑧 ⟹ 𝑥𝑅𝑧

𝑅 𝑒𝑠 𝑁𝑜 𝑇𝑟𝑎𝑛𝑠𝑖𝑡𝑖𝑣𝑎 ⟺ ∃𝑥 ∈ 𝐴, ∃𝑦 ∈ 𝐴, ∃𝑧 ∈ 𝐴/𝑥𝑅𝑦 ∧ 𝑦𝑅𝑧 ⟹ 𝑥𝑅𝑧

𝑅 𝑒𝑠 𝐴𝑡𝑟𝑎𝑛𝑠𝑖𝑡𝑖𝑣𝑎 ⟺ ∀𝑥 ∈ 𝐴, ∀𝑦 ∈ 𝐴, ∀𝑧 ∈ 𝐴: 𝑥𝑅𝑦 ∧ 𝑦𝑅𝑧 ⟹ 𝑥𝑅𝑧

 Del ejemplo:

𝐴 = {3,7,15,27}
𝑥𝑅𝑦 ⇔ 𝑥|(𝑥 + 𝑦)
𝑥+𝑦
𝑥|(𝑥 + 𝑦) ⟹ = 𝐾; 𝐾 ∈ ℤ
𝑥
𝑅 = {(3,3), (3,15), (3,27), (7,7), (15,15), (27,27)}

a) Reflexividad:
𝑥𝑅𝑥:

En los pares ordenados que contiene R están todos los elementos de A relacionados consigo
mismos, por lo tanto la relación R es reflexiva.

(3,3), (7,7), (15,15), (27,27) ∈ 𝑅

b) Simetría: (la idea es partir de 𝑥𝑅𝑦 y llegar a 𝑦𝑅𝑥)

𝑥𝑅𝑦:
𝑥+𝑦
= 𝐾; 𝐾 ∈ ℤ
𝑥

𝑥+𝑦
=𝐾
𝑥

𝑥 + 𝑦 = 𝐾𝑥

𝑦 + 𝑥 = 𝐾𝑥

𝑦+𝑥 𝑥
=𝐾
𝑦 𝑦
⏟
∈ℤ??

En general “y dividiría a x” y “x dividiría a y” solo si son iguales en valor absoluto, pero en el

ejemplo el conjunto A tiene pocos elementos, para los cuales se cumple que “y divide a x”
solamente si 𝑦 = 𝑥
Por lo tanto la relación es ANTISIMÉTRICA

c) Transitividad: (La idea es partir de 𝑥𝑅𝑦 y 𝑦𝑅𝑧 para llegar a 𝑥𝑅𝑧)

𝑥𝑅𝑦:
𝑥+𝑦
= 𝐾1 ; 𝐾1 ∈ ℤ
𝑥
𝑦𝑅𝑧:
 𝑦+𝑧
= 𝐾2 ; 𝐾2 ∈ ℤ
𝑦
Para llegar a 𝑥𝑅𝑧 se debería obtener:
𝑥+𝑧
= 𝐾3 ; 𝐾3 ∈ ℤ
𝑥
El conjunto de análisis A contiene muy pocos elementos, los cuales no permiten visualizar
claramente la condición para llegar a 𝑥𝑅𝑧, pero con los pares ordenados que existen se puede
afirmar que la relación es TRANSITIVA.

Ejm2) Si el conjunto de análisis es mayor, se tiene 𝑅 ⊂ ℤ × ℤ y está definida por:

𝑥𝑅𝑦 ⇔ 𝑥|(𝑥 + 𝑦)
𝑥+𝑦
= 𝐾; 𝐾 ∈ ℤ
𝑥

a) Reflexividad:
𝑥𝑅𝑥:
𝑥 + 𝑥 2𝑥
= = 2; 2 ∈ ℤ
𝑥 𝑥
R es reflexiva

b) Simetría: (la idea es partir de 𝑥𝑅𝑦 y llegar a 𝑦𝑅𝑥)

𝑥𝑅𝑦:
𝑥+𝑦
= 𝐾; 𝐾 ∈ ℤ
𝑥
𝑥+𝑦 𝑦
= 1 + = 𝐾; 𝐾 ∈ ℤ
𝑥 ⏟
𝑥
𝜖ℤ

La condición es que x es divisor de y

𝑥+𝑦
=𝐾
𝑥

𝑥 + 𝑦 = 𝐾𝑥

𝑦 + 𝑥 = 𝐾𝑥

𝑦+𝑥 𝑥
=𝐾
𝑦 𝑦
⏟
∈ℤ??

Solo en algunas ocasiones se cumple que “y divide a x”, pero se debe cumplir también la
condición inicial que “x divide a y”, lo que sucede solamente cuando 𝑥 = 𝑦 ∧ 𝑥 = −𝑦
 Por lo tanto la relación es NO SIMÉTRICA.

c) Transitividad: (La idea es partir de 𝑥𝑅𝑦 y 𝑦𝑅𝑧 para llegar a 𝑥𝑅𝑧)

𝑥𝑅𝑦:
𝑥+𝑦 𝑦 𝑦
= 1 + = 𝐾1 ; 𝐾1 ∈ ℤ ⟹ = 𝐾1 − 1
𝑥 𝑥 𝑥
𝑦𝑅𝑧:
𝑦+𝑧 𝑧 𝑧
= 1 + = 𝐾2 ; 𝐾2 ∈ ℤ ⟹ = 𝐾2 − 1
𝑦 𝑦 𝑦
Multiplicando:
𝑦𝑧
= (𝐾1 − 1)(𝐾2 − 1)
𝑥𝑦

𝑧
= (𝐾1 − 1)(𝐾2 − 1)
𝑥

𝑧
1+ = 1 + (𝐾1 − 1)(𝐾2 − 1)
𝑥

𝑥+𝑧
= 1 + (𝐾1 − 1)(𝐾2 − 1)
𝑥

𝑥+𝑧
(𝐾1 − 1) ⏟
=1+⏟ (𝐾2 − 1)
𝑥
𝜖ℤ 𝜖ℤ

Por lo tanto 𝑥𝑅𝑧 y la relación es TRANSITIVA

𝑅 = {(4,16), (16,48), (4,48), (5, −5), (−5,5) … . . }

Ejm3) Si el conjunto de análisis es más restringido: 𝑅 ⊂ ℕ × ℕ y está definida por:

𝑥𝑅𝑦 ⇔ 𝑥|(𝑥 + 𝑦)
𝑥+𝑦
= 𝐾; 𝐾 ∈ ℕ
𝑥

a) Reflexividad:
𝑥𝑅𝑥:
 𝑥 + 𝑥 2𝑥
= = 2; 2 ∈ ℕ
𝑥 𝑥
R es reflexiva

b) Simetría: (la idea es partir de 𝑥𝑅𝑦 y llegar a 𝑦𝑅𝑥)

𝑥𝑅𝑦:
𝑥+𝑦
= 𝐾; 𝐾 ∈ ℕ
𝑥
𝑥+𝑦 𝑦
= 1 + = 𝐾; 𝐾 ∈ ℕ
𝑥 ⏟
𝑥
𝜖ℤ

La condición es que x es divisor de y

𝑥+𝑦
=𝐾
𝑥

𝑥 + 𝑦 = 𝐾𝑥

𝑦 + 𝑥 = 𝐾𝑥

𝑦+𝑥 𝑥
=𝐾
𝑦 𝑦
⏟
∈ℤ??

Solo en algunas ocasiones se cumple que “y divide a x”, pero se debe cumplir también la
condición inicial que “x divide a y”, lo que sucede solamente cuando 𝑥 = 𝑦
Por lo tanto la relación es ANTISIMÉTRICA.

c) Transitividad: (La idea es partir de 𝑥𝑅𝑦 y 𝑦𝑅𝑧 para llegar a 𝑥𝑅𝑧)

𝑥𝑅𝑦:
𝑥+𝑦 𝑦 𝑦
= 1 + = 𝐾1 ; 𝐾1 ∈ ℤ ⟹ = 𝐾1 − 1
𝑥 𝑥 𝑥
𝑦𝑅𝑧:
𝑦+𝑧 𝑧 𝑧
= 1 + = 𝐾2 ; 𝐾2 ∈ ℤ ⟹ = 𝐾2 − 1
𝑦 𝑦 𝑦
Multiplicando:
𝑦𝑧
= (𝐾1 − 1)(𝐾2 − 1)
𝑥𝑦

𝑧
= (𝐾1 − 1)(𝐾2 − 1)
𝑥
 𝑧
1+ = 1 + (𝐾1 − 1)(𝐾2 − 1)
𝑥

𝑥+𝑧
= 1 + (𝐾1 − 1)(𝐾2 − 1)
𝑥

𝑥+𝑧
= 1 + (𝐾
⏟ 1 − 1) (𝐾
⏟ 2 − 1)
𝑥
𝜖ℤ 𝜖ℤ

Por lo tanto 𝑥𝑅𝑧 y la relación es TRANSITIVA

Ejm4) Dada la relación 𝑅 ⊂ ℤ × ℤ

𝑥𝑅𝑦 ⟺ 3|𝑥 − 𝑦 (Relación congruencia módulo 3)

Lo que significa:
𝑥−𝑦
= 𝐾; 𝐾 ∈ ℤ
3
a) Reflexividad:
𝑥𝑅𝑥:
𝑥−𝑥
= 0; 0 ∈ ℤ
3
R es reflexiva
b) Simetría:

𝑥𝑅𝑦:
𝑥−𝑦
= 𝐾; 𝐾 ∈ ℤ
3

−(𝑦 − 𝑥)
= 𝐾; 𝐾 ∈ ℤ
3

𝑦−𝑥
= −𝐾; −𝐾 ∈ ℤ ⟹ 𝑦𝑅𝑥
3
R es simétrica

c) Transitividad:
 𝑥𝑅𝑦:
𝑥−𝑦
= 𝐾1 ; 𝐾1 ∈ ℤ
3
𝑦𝑅𝑧:
𝑦−𝑧
= 𝐾2 ; 𝐾2 ∈ ℤ
3
Sumando ambas:
𝑥−𝑦 𝑦−𝑧
+ = 𝐾1 + 𝐾2
3 3

𝑥−𝑧
=⏟
𝐾1 + 𝐾2 ⟹ 𝑥𝑅𝑧
3
𝜖ℤ

R es Transitiva

RELACION DE EQUIVALENCIA ~
- Reflexiva
- Simétrica
- Transitiva

Si 𝑥𝑅𝑦 ⟹ 𝑥~𝑦

CLASES DE EQUIVALENCIA.

Dada 𝑅 ⊂ 𝐴 × 𝐴 de equivalencia, sus clases de equivalencia particionan el conjunto A

𝐾𝑎 = {𝑥/𝑥 ~𝑎}
Lo que significa (𝑥, 𝑎) ∈ 𝑅

Ejm) Del ejemplo anterior:

𝑅 ⊂ℤ×ℤ
𝑥𝑅𝑦 ⟺ 3|𝑥 − 𝑦 (Relación congruencia módulo 3)

Lo que significa:
𝑥−𝑦
= 𝐾; 𝐾 ∈ ℤ
3
Que es de equivalencia.

Sus clases de equivalencia:

𝐾𝑎 = {𝑥/𝑥 ~𝑎}
 𝑥~𝑎:
𝑥−𝑎
= 𝐾; 𝐾 ∈ ℤ
3
𝑥 = 𝑎 + 3𝐾
𝑎 = 0:

𝐾0 = {… … . , −6, −3,0,3,6,9, … . . }
𝑎 = 1:

𝐾1 = {… … . . , −8, −5, −2,1,4,7,10, … . }

𝑎 = 2:

𝐾2 = {… … … , −7, −4, −1,2,5,8,11, … . }

𝑎 = 3:

𝐾3 = {… … . −6, −3,0,3,6,9, … . . } = 𝐾0

CONJUNTO DE INDICES.

𝐼 = {𝑎/𝑎 𝑒𝑠 𝐾𝑎 }
Del ejemplo:

𝐼 = {0,1,2}
CONJUNTO COCIENTE.
𝐴
= {𝐾𝑎 /𝐾𝑎 𝑒𝑠 𝑐𝑙𝑎𝑠𝑒 𝑑𝑒 𝑒𝑞𝑢𝑖𝑣𝑎𝑙𝑒𝑛𝑐𝑖𝑎}
~
Del ejemplo:
ℤ
= {𝐾0 , 𝐾1 , 𝐾2 }
~

Ejm2) Dada 𝑅 ⊂ ℝ × ℝ definida por:

 𝑥𝑅𝑦 ⟺ 𝑥 2 − 𝑥 = 𝑦 2 − 𝑦
a) Reflexividad:
𝑥𝑅𝑥:

𝑥2 − 𝑥 = 𝑥2 − 𝑥
R es reflexiva

b) Simetría:
𝑥𝑅𝑦:

𝑥2 − 𝑥 = 𝑦2 − 𝑦
𝑦2 − 𝑦 = 𝑥2 − 𝑥
𝑦𝑅𝑥
R es simétrica

c) Transitividad:

𝑥𝑅𝑦:

𝑥2 − 𝑥 = 𝑦2 − 𝑦
𝑦𝑅𝑧:

𝑦2 − 𝑦 = 𝑧2 − 𝑧
Sumando ambos:

𝑥2 − 𝑥 + 𝑦2 − 𝑦 = 𝑦2 − 𝑦 + 𝑧2 − 𝑧
𝑥2 − 𝑥 = 𝑧2 − 𝑧
𝑥𝑅𝑧
R es transitiva

Luego R es de equivalencia

Las clases de equivalencia:

𝐾𝑎 = {𝑥/𝑥 ~𝑎}
𝑥~𝑎:

𝑥𝑅𝑎 ⟺ 𝑥 2 − 𝑥 = 𝑎2 − 𝑎

𝑥 2 − 𝑥 − 𝑎2 + 𝑎 = 0

1 ± √1 − 4(−𝑎2 + 𝑎)
𝑥=
2
 1 ± √1 − 4𝑎 + 4𝑎2
𝑥=
2

1 ± √(1 − 2𝑎)2
𝑥=
2

1 ± (1 − 2𝑎)
𝑥=
2
𝑥1 = 1 − 𝑎 ; 𝑥2 = 𝑎
Luego:

𝐾𝑎 = {1 − 𝑎, 𝑎}

𝑎 = 0:

𝐾0 = {1,0}
𝑎 = 1:

𝐾1 = {0,1} = 𝐾0
𝑎 = 2:

𝐾2 = {−1,2}
𝑎 = −1:

𝐾−1 = {2, −1} = 𝐾2

Las clases de equivalencia empiezan a repetirse desde el momento que ambos elementos
de la clase son iguales:
1
1−𝑎 =𝑎 ⟹𝑎 =
2
1
𝑎= :
2

1 1 1
𝐾1 = { , } ⟹ 𝐾1 = { }
2 2 2 2 2
1
Luego las clases de equivalencia son conjuntos diferentes desde el momento en que 𝑎 = 2

Por lo tanto las clases de equivalencia:

 1
𝐾𝑎 = {1 − 𝑎, 𝑎}; ∀𝑥a ∈ [ , ∞[
2
Conjunto de índices:
1
𝐼 = [ , ∞[
2
Conjunto cociente:
ℝ 1
= {𝐾𝑎 /𝑎 ∈ [ , ∞[}
~ 2

RELACIONES DE ORDEN. Establece un orden entre las componentes de sus pares ordenados

DE ORDEN AMPLIO:

- Reflexiva
- Antisimétrica
- Transitiva

DE ORDEN ESTRICTO:

- Arreflexiva
- Asimétrica
- Transitiva

Toda relación de orden puede ser de Orden Total o Parcial, será parcial si al menos un par de
elementos no satisface la relación.

Ejm1) Dada la relación 𝑅 ⊂ ℝ × ℝ definida según:

𝑥𝑅𝑦 ⟺ 𝑥 < 𝑦
a) Reflexividad
𝑥𝑅𝑥:
𝑥<𝑥
No se cumple, por lo tanto la relación es arreflexiva

b) Simetría

𝑥𝑅𝑦:

𝑥<𝑦
𝑦>𝑥
Es imposible llegar a 𝑦 < 𝑥 , por lo tanto la relación es asimétrica

c) Transitividad
 𝑥𝑅𝑦:

𝑥<𝑦
𝑦𝑅𝑧:

𝑦<𝑧
Sumando ambas:

𝑥 + 𝑦 < 𝑦 + 𝑧 ⟹ 𝑥 < 𝑧 ⟹ 𝑥𝑅𝑧

Luego la relación es Transitiva

La relación es de orden Estricto Total

Será total porque cualquier par de elementos analizados se pueden adecuar a la relación.

Ejm 2) Dada la relación 𝑅 ⊂ ℕ × ℕ definida según:

𝑥𝑅𝑦 ⟺ 𝑥|𝑦
a) Reflexividad
𝑥𝑅𝑥:
𝑥|𝑥
𝑥
= 1; 1𝜖ℕ
𝑥
Por lo tanto la relación es reflexiva

b) Simetría

𝑥𝑅𝑦:

𝑥|𝑦
𝑦
⟹ = 𝐾; 𝐾𝜖ℕ
𝑥
𝑥 1
=
𝑦 𝐾
El resultado será un número natural solamente cuando

𝑦=𝑥
Por lo tanto la relación es Antisimétrica

c) Transitividad

𝑥𝑅𝑦:
 𝑦
𝑥|𝑦 ⟹ = 𝐾1 ; 𝐾1 𝜖ℕ
𝑥

𝑦𝑅𝑧:
𝑧
𝑦|𝑧 ⟹ = 𝐾2 ; 𝐾2 𝜖ℕ
𝑦

Multiplicando ambas:
𝑦𝑧
= 𝐾1 𝐾2
𝑥𝑦
𝑧
= 𝐾3 ; 𝐾3 𝜖ℕ
𝑥

⟹ 𝑥𝑅𝑧
Luego la relación es Transitiva

Por lo tanto la relación es de Orden Amplio

Para analizar si es parcial o total bastará encontrar un par de elementos que no se acomoden a
la relación, por ejemplo: 3𝑅4; 4𝑅3; 17𝑅25 y muchos más

Como existe al menos un par de elementos que no se adecuan a la relación, entonces se tiene
una RELACIÓN DE ORDEN AMPLIO PARCIAL