Relación Binaria de Dos Conjuntos

12/7/22, 7:50 ✅ Relaciones binarias: definición y propiedades - Ciencias Básicas
4. Correspondencia Matemática 
5. Relación De Equivalencia
Inicio » Matemática » superior » 3. Relaciones Binarias
CAPÍTULOS DEL CURSO
RELACIONES MATEMÁTICAS
3. Relaciones Binarias
36 minutos de lectura
1. Par
Por fin otra Ordenado
nueva sección, vengo a continuar con el capítulo de relaciones matemáticas para ustedes mis
queridos amigos, hoy nos toca una sección un poco larga, en esta ocasiona desarrollaremos el tema de
las relaciones binarias, tema que generalmente se estudia en un curso de matemáticas discretas.
Llamamos relaciones entre dos conjuntos porque existe una propiedad que las vincula, generalmente las
relaciones2.son un conjunto
Producto de pares ordenados capaz de correlacionar algunos elementos entre dos
Cartesiano
conjuntos siendo este es el tema principal de la sección.
Las relaciones binarias dependen de los conceptos de pares ordenados y producto

cartesiano anteriormente estudiados, pero aquí solo me limitaré a exponer sus definiciones como teorías
preliminares y continuar con el tema principal del curso actual. Sin mas que decir, comencemos.
https://ciencias-basicas.com/matematica/superior/relaciones-matematicas/relaciones-binarias/ 1/33
4. Correspondencia
TABLA DE CONTENIDO Matemática
Conceptos previos
Definición de par ordenado
Definición de producto cartesiano
¿Que es una relación binaria?
Definición
Definición según el axioma de comprensión
Otros conceptos de una relación binaria según otros autores
Correspondencia (introducción)
Dominio y rango de la relación
Definición de dominio de una relación
Definición de rango de la relación
Propiedades del dominio y rango en una relación
Relación inversa
Definición
Propiedades
Relación compuesta
Definición
Propiedades
Relación de un único conjunto (Aclaración)
Propiedad de una relación binaria
Propiedad reflexiva
Propiedad antirreflexiva
Propiedad simétrica
Propiedad antisimétrica
Propiedad transitiva
CAPÍTULOS
Clasificación DEL CURSO
de las relaciones binarias
Relación de equivalencia
Relación
RELACIONESde orden
MATEMÁTICAS
Clasificación de las relaciones de orden
Fin
Conceptos previos
1. Par Ordenado
Definiremos a secas el par ordenado y el producto cartesiano ya estudiados en las secciones anteriores.
Definición de par ordenado

2. Producto Cartesiano
Sean dos objetos matemáticos a y b, se llama par ordenado al conjunto ordenado
(a, b) en ese orden tal que:
3. Relaciones Binarias (a, b) ≠ (b, a)
Donde a se llama primera componente y b segunda componente.
4. Correspondencia
Definición de productoMatemática
cartesiano
Sean dos conjuntos A y B, llamamos producto cartesiano A × B a todos los pares
ordenados (a, b) donde a ∈ A y b ∈ B, simbólicamente:
A × B = {(a, b)|a ∈ A ∧ b ∈ B}
O su equivalente:
(a, b) ∈ A × B ↔ a ∈ A ∧ b ∈ B
Ahora vayamos al tema principal de la sección que nos corresponde.
¿Que es una relación binaria?
Generalmente una relación binaria es un conjunto de pares ordenados donde los elementos de par dado
se encuentran vinculados por alguna propiedad en particular definida (vinculado por un axioma de
comprensión) con al menos alguna propiedad en particular pero esto lo veremos en una segunda
definición.
Podemos notar una cosa interesante, para una relación binaria siempre, pero siempre existe un producto
cartesiano que lo incluye.
CAPÍTULOS
Ojo: El concepto DEL
de relación CURSO
binaria en muchos obras matemáticas se estudia para un único
conjunto y el concepto de correspondencia y aplicaciones se estudia para dos conjuntos distintos.
RELACIONES
En esta sección MATEMÁTICAS
desarrollaremos el concepto de relaciones binarias para dos conjuntos distintos, pero
sus propiedades serán estudiadas para un único conjunto, el resto de las propiedades para dos
conjuntos diferentes lo desarrollaremos en la siguiente sección llamada correspondencia. Dicho
esto, comencemos con la definición de relación binaria tal como lo hemos planteado.
1. Par Ordenado
Definición
Se llama relación binaria del conjunto A al conjunto B a todo subconjunto de

× B.
2.AProducto Cartesiano
Si R es una relación binaria para dos conjuntos A y B, simbólicamente se representa así a secas:
R ⊆ A × B
Pero seguro te preguntaras ¿que diferencia hay entre una relación binaria y un producto cartesiano si
los dos están formados por pares ordenados? Simple, una relación binaria no siempre se puede
expresar como un producto cartesiano, no es mas que una colección de pares ordenados cualesquiera. Por
ejemplo, sea la siguiente relaciónMatemática
4. Correspondencia binaria:
R = {(1, 2), (3, 5), (6, 4)}
Este conjunto-relación no se puede expresar en términos de un producto cartesiano, es algo similar como
los números primos y los números compuestos. Sabemos que los números primos no se pueden
descomponer en otros números primos pero los compuestos si.
Si tomamos las primeras componentes de los pares ordenados de R como una colección de elementos de
un conjunto E y las segundas componente como una colección del conjunto D, tenemos:
E = {1, 3, 6}

D = {2, 5, 4}
Si realizamos el producto cartesiano de estos conjuntos, notamos que R ⊆ E × D no siempre una relación
es un producto cartesiano. La otra razón que lo diferencia de un producto cartesiano es que existe una
propiedad que verifica a una relación binaria. Veamos este punto en la siguiente definición:
Definición según el axioma de comprensión
1.Llamamos
Par Ordenado
una relación binaria de dos conjuntos A y B a los conjuntos de pares
ordenados (x, y) que cumplen una propiedad P(x, y) donde x ∈ A y y ∈ B.
Simbólicamente se expresa así:
R = {(x, y) ∈ A × B|P(x, y)}
Entonces, una relación binaria es un conjunto de pares ordenados pertenecientes al
producto cartesiano de dos conjuntos que cumple una propiedad en particular.
Me explico:
En la sección de conjuntos realizo una simple mencion un poco técnica e introductoria sobre el axioma de
comprensión, pero prefiero explicártelo de una manera muy sencilla porque no quiero que pierdas la
cabeza con cosas técnicas.
4. Correspondencia Matemática
Pero para resumir, este axioma nos dice que si algunos elementos de un conjunto A cumplen una
propiedad P en particular, es obvio que ese grupo de conjuntos que cumplen tal propiedad es
subconjunto (pequeño grupo de elementos) del conjunto A.
Aplicando el axioma a la definición de relación binaria, cumple la misma función, si algunos pares
5.de
ordenados Relación De Equivalencia
A × B cumplen una propiedad P(x, y), es obvio que esos conjuntos de pares ordenados que
cumplen dicha propiedad son subconjuntos de A × B.
Ejemplos
1- Sean los conjuntos M = {a, b} y N = {1, 2, 3}, su producto cartesiano es:
M × N = {(a, 1), (a, 2), (a, 3), (b, 1), (b, 2), (b, 3)}
Los siguientesRELACIONES
conjuntos son MATEMÁTICAS
relaciones binarias del producto M × N:
R1 = {(a, 1), (a, 3)}
R2 = {(a, 2), (a, 3), (b, 1)}
R3 = {(a, 2), (a, 3), (b, 1), (b, 2)}
Los siguientes
1. Pardiagramas
Ordenado sagitales describen mejor el concepto de relación para los conjuntos R , R y R : 1 2 3
1. Par Ordenado
2- Sean los siguientes conjuntos A = {1, 2, 3, 4} y B = {1, 4, 9, 16, 25}, los siguientes conjuntos incluidos al
producto cartesiano de A × B son relaciones binarias:
R1 = {(x, y) ∈ A × B|x + y ≤ 12} , por extensión:

R1 = {(1, 1), (1, 4), (1, 9), (2, 1), (2, 4), (2, 9), (3, 1), (3, 4), (3, 9), (4, 1), (4, 4)}
R2 = {(x, y) ∈ A × B|y = x }
2
, por extensión:
R2 = {(1, 1), (2, 4), (3, 9), (4, 16)}
Note que se ha usado el axioma de comprensión para el ejemplo 2. Los diagramas sagitales te lo dejo para
tu imaginación.
Otros conceptos de una relación binaria según otros
autoresRELACIONES MATEMÁTICAS
Existen otros autores donde una relación binaria lo definen bajo una colección de pares ordenados
contenidos en el producto cartesiano de un solo conjunto y no de dos. Llaman a una relación R como
subconjunto de A de un conjunto dado A.
2
1. Par Ordenado
Generalmente por cuestiones practicas, cualquier curso que se imparta el tema de relaciones binarias,
siempre después de una teoría introductoria, se describen a modo de simplificación y orden establecido las
propiedades y clasificación de relaciones binarias para un único conjunto especifico.
En resumen, para otros autores, el estudio de las relaciones binarias es únicamente para un conjunto
R ⊆ A × A o R ⊆ A y para el caso de dos conjuntos distintos le corresponde un titulo
2
llamado correspondencia, y tratan los conceptos para dos conjuntos diferentes R ⊆ A × B, tema que
correspondería para la otra sección pero con el concepto de conjunto partida y conjunto de llegada. En el
siguiente apartado describimos este asunto a modo de introducción.
Correspondencia (introducción)
El concepto de correspondencia no es exclusivo de esta sección, también podía usarlo junto con las
dos primeras definiciones de relación binaria, pero quise distinguirlo para explicar el típico conceptos
conjunto partida y conjunto de llegada.
CAPÍTULOS
Si una relación DEL CURSO
R de dos conjuntos A y B cumple la condición:
R = {(x, y) ∈ A × B|P(x, y)}

Lo que implica que:
R ⊆ A × B
Entonces podemos corresponder los elementos de A con los elementos de B (unidireccional)

simbolizado por P : M → N tal que:
1. Par Ordenado
P : M → N ⇔ R ⊆ A × B
Donde P es un operador sobre x e y, es decir, de la propiedad arbitraria P(x, y) para definir la relación
R. Las expresiones P : M → N y R ⊆ A × B son sinónimos, solo que a nivel semántico, la expresión
P : N → N indica que el conjunto A es el conjunto de partida o inicial y el conjunto B es el conjunto
de llegada o final. Este concepto lo veremos en la próxima sección.
Dominio y rango de la relación
Estos conceptos son fáciles de entender, te lo resumo de la siguiente manera antes de definirlo
correctamente:
El dominio de una relación son todas las primeras componentes de los pares ordenados de una
relación.
El rango de una relación son todas las segundas componentes de los pares ordenados de una
relación.
Definición de dominio de una relación
1.Sea
ParlaOrdenado
relación R ⊆ A × B, definimos D(R) como el dominio de la relación tal que:
D(R) = {x ∈ A|∃y ∈ B ∧ (x, y) ∈ R}
Esta definición significa que el dominio de una relación D(R) representan aquellos elementos x que
pertenecen al conjunto A, ¿cualquier conjunto de A?, no, solo aquellos conjuntos que tengan una
correspondencia con algún elemento y (por eso el símbolo de existencia ∃) como elemento de llegada que
pertenezca a A tal que formen un par ordenado (x, y) que pertenezca a la relación R.
Definición de rango
3. Relaciones de la relación
Binarias
Sea la relación R ⊆ A × B, definimos R(R) como el rango de la relación tal que:
R(R) = {x ∈ B|∃y ∈ A ∧ (x, y) ∈ R}
De la misma manera como en el caso de la definición del dominio, esta definición significa que el rango de
5. Relación
una relación De Equivalencia
R(R) representan aquellos elementos y que pertenecen al conjunto B, ¿cualquier conjunto
de B?, no, solo aquellos conjuntos que tengan una correspondencia con algún elemento x como elemento
de partida que pertenezca a B tal que formen un par ordenado (x, y) que pertenezca a la relación R.
Puedes guiarte con el siguiente diagrama:
Ejemplos
1. Sean los conjuntos A = {1, 2, 3, 4, 5, 6, 7, 8} y B = {2, 4, 5, 6, 10}, calcular el dominio y rango de la
siguiente relación:
R = {(x, y) ∈ A × B|5 ≤ x + y ≤ 7}
Solución:
Primero debemos buscar aquellos elementos de A y B que cumple la siguiente condición
5 ≤ x + y ≤ 7, lo podemos visualizar en el siguiente tablero:
5 ≤ x + y ≤ 7
RELACIONES MATEMÁTICAS 1 4
1 6
2 4
3 4
4 2
5 2
1. Par Ordenado
Es cierto que este diagrama se ve muy grande, pero observen que los valores de x de color verde
oscuro representan el dominio de la relación ya que x ∈ A siendo el conjunto inicial y los valores de y
representan el rango de la relación ya que y ∈ B siendo el conjunto final, entonces:
D(R) = {1, 2, 3, 4, 5} ∧ R(R) = {2, 4, 6}
2. Sean2. los
Producto Cartesiano
conjuntos A = {1, 2, 3} y B = {1, 2, 3, 4, 5, 6}, hallar el dominio y rango de la siguiente
relación:
R = {(x, y) ∈ A × B|xy = 12}
Solución:
Este ejemplo es mas sencillo que el anterior, los elementos de los conjuntos A y B que cumplen con
la propiedad xy = 12 son:
x = 2 ↔ y = 6 ∨ x = 3 ↔ y = 4
de aquí deducimos el dominio y rango de R son:
D(R) = {2, 3} ∧ R(R) = {4, 6}
Propiedades del dominio y rango en una relación

Es cierto que no se menciona muchas operaciones entre relaciones binarias (no confundir con las
operaciones binarias, es decir, a ley de composición interna) en un curso de matemática discreta, pero en
esta sección te las presento. Sean dos relaciones binarias R y R para los conjuntos A y B, se admiten las
1 2
siguientes propiedades:
D(R1 ∪ R2 ) = D(R1 ) ∪ D(R2 )
D(R1 ∩ R2 ) ⊆ D(R1 ) ∩ D(R2 )
D(R1 – R2 ) ⊆ D(R1 )– D(R2 )
R(R1 ∪ R2 ) = R(R1 ) ∪ R(R2 )
R(R1 ∩ R2 ) ⊆ R(R1 ) ∩ R(R2 )
R(R1 – R2 ) ⊆ R(R1 )– R(R2 )
Relación inversa
Sabemos que (a, b) ≠ (b, a), por tanto, si las relaciones R y R poseen como elementos a los pares (a, b) y
1 2
(b, a) respectivamente, es obvio que R ≠ R , pero como (b, a) tiene las componentes intercambiadas de
1 2
(a, b), entonces se dice que R es una relación inversa de R . Aquí te lo muestro formalmente.
2 1
Definición
Sea el par ordenado (a, b) ∈ AtimesB y su relación correspondiente R ⊆ A × B,
llamamos relación inversa al conjunto definido por:
∗
R = {(b, a) ∈ B × A|(a, b) ∈ R}
Esto es, si (m, n) ∈ R, entonces (n, m) ∈ R . ∗
1. Par Ordenado
Al intercambiar el orden de los pares ordenados, ahora el dominio y el rango de la relación es el rango y
dominio de la relación inversa respectivamente, es decir:
∗
D(R) = R(R )
∗
R(R) = D(R )
Creo que estaría demás realizar un ejemplo de la inversa de una relación, porque si la relación de dos
conjuntos A y B es (por poner un ejemplo):
R = {(m, 3), (n, 4), (p, 5)}
Su relación inversa seria:

∗
R = {(3, m), (4, n), (5, p)}
Lo único que hice es intercambiar el orden de los pares ordenados de R, luego, su dominio y rango sería:
∗
D(R) = R(R ) = {m, n, p}
∗
R(R) = D(R ) = {3, 4, 5}

Propiedades
RELACIONES
Sean dos relaciones MATEMÁTICAS
R y R para un mismo par ordenado, se cumple las siguientes propiedades:
1 2
∗ ∗ ∗
(R1 ∪ R2 ) = R ∪ R
1 2
∗ ∗ ∗
(R1 ∩ R2 ) = R1 ∩ R
2
∗ ∗ ∗
(R1 – R2 ) = R –R
1 2
La mayoría de las de las propiedades serán demostradas en próximos ejercicios resueltos pero en esta
1. Par Ordenado
misma sección, en esta ocasión solo desarrollaremos la teoría hasta un nuevo aviso de actualización.
Relación compuesta
La composición de una relación es como aplicar una relación sobre otra relación, antes de entrar a su
definición, explicaré con un sencillo ejemplo para indicar para que sirve la composición, sean las siguientes
expresiones algebraicas:
1. x = z + 2
2. y = x 2
Para un valor de z (elemento de inicio) obtenemos el valor de x (elemento de llegada) para la ecuación 1,
luego, para el valor x calculado (elemento de inicio) se calcula el valor de y (elemento de llegada) en la
ecuación 2, si remplazamos 1 en 2, obtenemos la composición y = (z + 2) . 2
Entonces, para algún conjunto Z, X e Y donde estén contenidos z, x e y respectivamente, podemos
representarlo con este diagrama sagital de la siguiente manera:
1. Par Ordenado
Noten que el diagrama actual es unidireccional, comienza por z, pasa por x y termina en y, para llegar de z
a y, debemos usar la ecuación y = (z + 2) , esto es gracias al concepto de composición de relaciones, su
2
definición es la siguiente:
Definición
Sea R una relación de A en B y R una relación de B en C, denominamos
1 2
composición
4. de R a
Correspondencia R simbolizado por R oR como una nueva relación de A en C
Matemática
1 2 1 2
, tal que:
R1 oR2 = {(a, c) ∈ A × C|∃b ∈ B, (a, b) ∈ R1 ∧ (b, c) ∈ R2 }
Se concluye que para dos relaciones R ⊆ A × B y R ⊆ B × C, la composición entre ellas dos es
1 2
R oR ⊆ A × C. Otro punto a considerar es que para que sea posible la composición R oR ⊆ A × C, debe
1 2 1 2
depender de la existencia de algún b ∈ B tal que R ⊆ A × B y R ⊆ B × C, por eso el termino ∃b ∈ B es
1 2
una dependencia de la definición anterior para la relación R oR . 1 2
Ejemplos
Sean dos relaciones R ⊆ A × B y S ⊆ B × C, con sus correspondientes pares ordenados particulares tal
que (2, 3) ∈ R y (3, 5) ∈ S, entonces su composición entre ellas dos es (2, 5) ∈ RoS si cumple que 3 ∈ B, si
por algún motivo si 3 ∉ B entonces (2, 5) ∉ RoS, ¿me entendieron?, ahora veamos algunas propiedades.
Propiedades
Sean las relaciones R, S y T, se cumple las siguientes propiedades para la composición entre ellas:
RoS ≠ mathrmSoR
(RoS)oT = Ro(SoT)
∗ ∗ ∗
(RoS) = mathrmR oS
Relación de un único conjunto (Aclaración)

Como ya lo había mencionado en apartados anteriores, otros autores desarrollan la teoría de las relaciones
binarias para un único conjunto, para el caso de dos conjuntos distintos le corresponde a una sección
llamada correspondencia.
Estas variaciones teóricas dependen también de cuestiones territoriales y de cultura, pero también por
cuestiones de formalización abstracta de la teoría (como suele suceder en las facultades de matemáticas
puras y aplicadas) para explicar ordenadamente otras teorías que las requieran, en el Perú por ejemplo, el
desarrollo1.teórico
Par Ordenado
de esta sección es tal cual como se los estoy planteando, sin embargo, las próximas
secciones tendrán un orden muy distinto a lo acostumbrado de la cultura matemática de mi región.
La siguiente sección tendrá una matiz diferente ya que cuando se trata de la clasificación de tipos de
relaciones matemáticas, es diferente a la clasificación de correspondencia matemática y estas se
diferencian por un único conjunto y de dos conjuntos distintos respectivamente.
Por ello, las propiedades que te mostraré aquí es únicamente para las relaciones binarias definidas de una
relación donde la correspondencia de un conjunto es sobre si mismo, es decir, para un P ⊆ A × A, o su
sinónimo R ⊆ A × A, por cuestiones matemáticamente practicas se escribe así R ⊆ A , en base a esto, 2
planteamos las siguientes propiedades.
Propiedad de una relación binaria
Las propiedades que indicamos aquí no son exactamente propiedades, sino definiciones condicionales y
no deben ser confundidos con lo que entendemos por propiedad o axiomas como los números reales o su
versión mas general, los espacios vectoriales.
Lo que intento decir es que las relaciones binarias no tienen estas propiedades propiamente dicha ya que
todas las relaciones binarias no pueden ser reflexivas, simétricas o transitivas como ya veremos enseguida,
caso contrarioRELACIONES
ocurre con los MATEMÁTICAS
números reales donde todos cumplen la propiedad conmutativa, asociativa,
distributiva, etc. llamados axiomas.
El concepto de propiedad también puede ser variado, puede confundirse tanto con el concepto de axioma,
postulado, teorema, lemas o cualquier condición especifica en particular, aclaro estos puntos para no caer
en contradicciones. Repito, las propiedades con respecto a las relaciones binarias son condicionales, no es
necesario1.que
Parcumplan
Ordenado
para todas las relaciones.
Nota: recuerden que estas restricciones es únicamente para las relaciones, no significa que un
conjunto deba cumplir tal relación extrictamente, de hecho, los conjuntos son independientes de las
relaciones, digamos que son referenciales para que las relaciones existan pero los conjuntos no
2. Producto
requieren Cartesiano
de la relaciones.
Propiedad reflexiva
Una relación binaria R ⊆ A es reflexiva si incluye a todos los pares ordenados del
2
tipo
4. (x, x) tal que x ∈
Correspondencia A.
Matemática
En resumen R ⊆ A es reflexiva si y solo si ∀x ∈ A, (x, x) ∈ R.

2
5. Relación
Esta condición De Equivalencia
indica que solo aquellos pares ordenados del tipo (x, x) están incluidos en R, no significa
que R estén conformados únicamente por estos pares ordenados, la otra condición es que tiene que incluir
a todos los elementos del conjunto A.
En la sección de producto cartesiano definimos la diagonal al conjunto de pares ordenados de la forma

(x, x) para un conjunto x ∈ A tal que:
D(A) = {(x, x)|x ∈ A}
CAPÍTULOS
Significa que D(A) DEL de
es subconjunto CURSO
R, una definición alternativa para una relación reflexiva sería:
R ⊆ A
2
es reflexiva si y solo si D(A) ⊆ R
En caso contrario, si por lo menos existe un elemento de A que forme un par ordenado (a, a) y no esté
incluido R, entonces la relación es no reflexiva, simbólicamente:
R ⊆ A
2
es no reflexiva si y solo si ∃x ∈ A, (x, x) ∈ R
Después del siguiente ejemplo, veremos un caso particular de una relación no reflexiva.
1. Par Ordenado
Ejemplo
Tenemos el siguiente conjunto A = {1, 2, 3, 4} , la siguiente relación es reflexiva:
R = {(1, 1), (3, 4), (2, 2), (3, 1), (3, 3), (4, 4)}
Ya que contiene a todos los pares ordenados (1, 1), (2, 2), (3, 3) y 4, 4 donde sus primeras o segundas
componentes pertenecen al conjunto A. Pero la relación:
R = {(3, 4), (2, 2), (3, 1), (3, 3), (4, 4), (1, 2)}
Esta relación no es reflexiva porque falta por lo menos un par ordenado (1, 1) tal que 1 ∈ A.
Propiedad antirreflexiva
Una relación binaria R ⊆ A es antirreflexiva si los pares ordenados del tipo (x, x) no
2
pertenecen a R tal que para todo elemento x ∈ A.
En resumen R ⊆ A es antirreflexiva si y solo si ∀x ∈ A, (x, x) ∉ R.

2

Tomando el concepto de diagonal D(A), se puede concluir también que:
R ⊆ A es antirreflexiva si y solo si D(A) ⊈ R
2
Ejemplo
Tenemos el conjunto A = {1, 2, 3, 4}, la siguiente relación es antirreflexiva:
1. Par Ordenado R1 = {(1, 2), (3, 4), (3, 1), (2, 4)}
Por que no tiene ningún par ordenado del tipo (x, x) tal que ∀x ∈ A. ¿Y si tuviera por lo menos alguno?, en
este caso veamos la siguiente relación:
R2 = {(1, 2), (2, 2), (3, 4), (3, 1), (2, 4)}
La condición de una relación antirreflexiva indica que no debe incluirse todos los pares ordenados (x, x)
para todos los elementos de x ∈ A, pues R no la cumple con una relación antirreflexiva porque contiene
2
por lo menos un par ordenado (2, 2) tal que 2 ∈ A. Esta relación tiene un nombre especial, veamos el
siguiente ejemplo.
Ejemplo de propiedad no reflexiva

Una relación no reflexiva no necesariamente es una relación antirreflexiva, pero una relación antirreflexiva
siempre es una relación no reflexiva. Tomando el mismo conjunto del ejemplo anterior A = {1, 2, 3, 4}, y la
relación R contiene por lo menos un par ordenado (2, 2), esta relación no es reflexiva, pero tampoco es
2
antirreflexiva porque no debe tener ningún par ordenado del tipo (x, x) sobre el conjunto que esta
definido, este tipo de relaciones se les llama relaciones no reflexivas.

Muy interesante: De este ultimo ejemplo, decimos entonces que para una relación no-
antirreflexiva se cumple lo siguiente:
R ⊆ A
2
es no-antirreflexiva si y solo si ∃x ∈ A, (x, x) ∈ R
Significa que para que el conjunto R sea no antirreflexiva, por lo menos debe existir un par ordenado
(x, x) que pertenezca a R tal que x ∈ A. Otro punto muy interesante es la siguiente, tomando la
relación R del ejemplo anterior, sabemos que no es una relación reflexiva ni tampoco es una relación
2
no-antirreflexiva como lo acabamos de demostrar.

1. Par Ordenado
El punto aquí (y esto es lo interesante) es que una relación reflexiva y una antirreflexiva no pueden
coexistir mutuamente, sin embargo, sus respectivas negaciones, la relación no reflexiva y la no-
antirreflexiva puede coexistir mutuamente.
Propiedad simétrica
3.Una relación definida

Relaciones Binarias sobre un conjunto es simétrica si un par ordenado (x, y) que
pertenece a una relación, el par ordenado (y, x) también pertenece a dicha relación.
Es decir, R ⊆ A es simétrica si y solo si (x, y) ∈ R → (y, x) ∈ R.

2
Ejemplo
Sea el conjunto B = {1, 2, 3, 4, 5, 6}, las siguientes relaciones son simétricas:
R1 = {(1, 2), (1, 1), (2, 1), (4, 1), (1, 4)}
R1 = {(3, 4), (4, 3), (2, 2)}
R3 = {(5, 5)}
Todas estas relaciones son simétricas porque cada una de ellas cumple la condición
(x. y) ∈ R → (y, x) ∈ R, por ejemplo, para R , si existe en su colección el par (1, 2), entonces debe incluirse
1
de la misma manera el par (2, 1), si se incluye el par (4, 1), también debe incluirse (1, 4) y el par (1, 1) es un
elemento simétrico consigo mismo, por tanto, R es una relación simétrica, igualmente para R y R que
1 2 3
cumplen la simetría. Veamos esta relación:

CAPÍTULOS DEL CURSO R4 = {(4, 5), (5, 6), (5, 4), (3, 1), (1, 3)}
No es reflexivaRELACIONES
porque hay unMATEMÁTICAS
par ordenado (5, 6) que si bien pertenece a R , el par (6, 5) no pertenece a
4
R .
4
Aclaración: Algunos autores usar la siguiente definición para la propiedad simétrica:
R ⊆ A
2
es simétrica si y solo si (x, y) ∈ R → (y, x) ∈ R, ∀x, y ∈ A
1. Par Ordenado
Donde el cuantificador ∀x, y ∈ A (que no incluyo en mi definición relación simétrica) no corresponde
con los ejemplos de sus respectivas obras, me explico, cuando se escribe por extensión un conjunto
dado donde se indica el cuantificador “para todo” simbolizado por “∀“, este incluye por extensión a
todos los elementos del conjunto A hasta no dejar rastro alguno según la propiedad que se le aplica a
dicho conjunto.
Por ejemplo, sea el conjunto x ∈ N, y la desigualdad 2 < x < 10, y sea la siguiente función
proposicional (enunciado abierto):
∀x ∈ N|2 < x < 10
Es falsa por que no todos los números naturales pueden estar comprendidos entre 2 < x < 10. Pero
si definimos los siguientes conjuntos:
A = {3, 4, 5, 6, 7, 8, 9}
B = {3, 4, 5}
Tal que:
∀x ∈ A|2 < x < 10
∀x ∈ B|2 < x < 10
Estas proposiciones son verdaderas porque cumple para todos los elementos de A y B. Por esta
misma razón no agrego el cuantificador ∀x, y ∈ A, ya que no es obligación que cumpla para todos los
elementos de A. Ya que como dije antes, algunos autores agregan algunas combinaciones de pares
ordenados en una relación binarias en contradicción del cuantificador ∀x, y ∈ A con su definición, ya
que deben de colocarse sin excepción todos los elementos para un conjunto dado. Eso es todo,
sigamos conCAPÍTULOS
el capitulo. DEL CURSO
Propiedad antisimétrica
Una relación definida sobre un conjunto se llama antisimetrica si (x, y) ∈ R y

1.(y,
Par ∈ R, entonces x = y.
x)Ordenado
Esto es, R ⊆ A es antisimetrica si y solo si [(x, y) ∈ R ∧ (y, x) ∈ R] → x = y.

2
Aquí un trabalenguas: Tenga en cuenta que para que la igualdad x = y se cumpla, la relación debe
contener los dos pares (y, x) y (y, x) simultáneamente, si por lo menos tiene un par (x, y) pero no (y, x),
entonces no es una obligación o no es condición necesaria para que x = y, aun así la relación podría ser
antisimetrica siempre y cuando existan otros pares que si la cumplen, pero si las contiene y resulta que
x ≠ y entonces la relación no es antisimetrica.
Ejemplo
Sean el conjunto B = {1, 2, 3, 4, 5, 6}, veamos las siguientes relaciones si son o no antisimetricas:
R1 = {(1, 2), (1, 1), (5, 5), (3, 4)}
R2 = {(3, 3), (1, 6), (4, 4), (6, 1)}
Para el caso de la relación R , busquemos aquellos pares que tengan los componentes iguales x = y, en
1
este caso son:

(1, 1)
(5, 5)
Estos casos cumplen la condición inicial (x, y) ∈ R y (y, x) ∈ R. Pero si comenzamos por esta condición, los
únicos que cumplen son (1, 1) y (5, 5), los pares (1, 2) y (3, 4) no se cuentan porque no existe su par
simétrico (2, 1) y (4, 3), por tanto R es antisimetrico.
1
Para el caso de la relación R , no es antisimetrico, es cierto que encontramos los pares (3, 3) y (4, 4)
2
cumplen con la antisimetria, pero la condición [(x, y) ∈ R ∧ (y, x) ∈ R] → x = y no se cumple con los
pares (1, 6) y (6, 1), por tanto, R no cumple la antisimetria.
2
Propiedad transitiva
Se dice que una relación R definida sobre un conjunto es transitiva si y solo si los
pares ordenados y (y, z) que pertenecen a R, implica que el par ordenado (x, z)
pertenezca a R.
Simplificando, R ⊆ A es transitiva si y solo si [(x, y) ∈ R(y, z) ∈ R] → (x, z) ∈ R.

2
Ejemplos
Diseñaremos nuestros ejemplos con el mismo conjunto B = {1, 2, 3, 4, 5, 6}, la siguiente relación es
transitiva:
R1 = {(3, 4), (1, 5), (4, 5), (2, 3), (4, 5), (2, 5), (2, 4)}
1. Par Ordenado
La relación R es transitiva porque si los pares (3, 4) y (4, 5) pertenecen R , también el par (3, 5) debe
1 1
pertenecer a R , la definición también cumple con el resto de los pares ordenados de B, el par que no se
1
contabiliza es (1, 5) ya que no existe un par del tipo (5, n) para que (1, n) pertenezca a R , por tanto, esta 1
relación es transitiva.
2. Producto CartesianoR 2 = {(1, 1), (3, 2), (1, 4), (2, 1), (3, 1)}
La relación R no cumple la propiedad transitiva ya que existe dos pares ordenados (3, 1) y que incluyen a
2
la relación R lo que implica que debe existir un par ordenado (3, 4) que este contenido en R , sin
2 2
embargo, no lo esta, por tanto, la relación R no es transitiva.2
Clasificación
3. Relacionesde las relaciones binarias
Binarias
Algunos autores consideran las propiedades de relaciones binarias como una clasificación junto con las
que vamos 4. aCorrespondencia
presentar en este momento, sin embargo, no queremos redundar en la teoría y
Matemática
presentaremos las siguientes clasificaciones que dependen de dichas propiedades. Comencemos con la
relación de equivalencia.
Relación de equivalencia
Una relación sobre un conjunto dado es una relación de equivalencia si es reflexiva,
simétrica y transitiva. En otras palabras:
La relación R ⊆ A es de equivalencia si y solo si cumple las siguientes condiciones:

2
✓ Es reflexiva, simbólicamente es ∀x ∈ A|(x, x) ∈ R.

✓ Es simétrica, simbólicamente (x, y) ∈ R → (y, x) ∈ R.
✓ Es transitiva, esto es, [(x, y) ∈ R ∧ (y, z) ∈ R] → (x, z) ∈ R.
Ejemplo
Sea el conjunto A = {a, b, c, d}, veamos la siguiente relación:
R = {(a, a), (b, b), (c, c), (d, d), (a, c), (c, a), (b, d), (d, b)}
Es reflexiva porque contiene todos los pares de la forma (x, x) y son:
(a, a)
(b, b)
(c, c) CAPÍTULOS DEL CURSO

(d, d)
Es simétrica porque por cada par del tipo (x, y) contenida en R también debe contener a (y, x). Como por
ejemplo:
(a, c) ∈ R → (c, a) ∈ R
(b, d) ∈ R → (d, b) ∈ R
(c, c) ∈ R → (c, c) ∈ R
1. Par Ordenado
El resto de los pares de la relación cumple con la misma intensión de la propiedad simétrica.
Es transitiva porque el juego de pares (x, y) y y, z contenidas en R implica que deba incluir el par (x, z) en
la relación. Por ejemplo:
[(a, a) ∧ (a, c)] ∈ R → (a, c) ∈ R
[(a, c) ∧ (c, c)] ∈ R → (a, c) ∈ R
[(b, d) ∧ (d, b)] ∈ R → (b, b) ∈ R
Comparando el resto de los pares ordenados con la misma relación, encontramos los mismos
resultados.
De esta manera, se prueba que R es una relación de equivalencia.
Ojo: El apartado de relación de equivalencia es un tema un poco extenso y merece un trato especial
en una sección privilegiada, por lo pronto solo nos limitaremos señalarlo.
Relación de orden
Quizá, uno de los fundamentos teóricos al desarrollo de las matemáticas es el concepto orden , existen
frases que pueden definir el orden de un conjunto de elementos como “a precede a b” donde el par (a, b)
debe cumplir ciertos requisitos para cumplir este orden, existen definiciones distintas adecuados dentro
de esta categoría donde podemos establecer formalmente el concepto de orden, como los números
naturales, para diferentes conjuntos que lo requieran.
Las siguientes definiciones que veremos a continuación siguen un patrón de orden y todas deben estar
acompañadas con la definición de transitividad para formar otra clasificación llamadas relaciones de
orden, la definición de transitividad es la única que le da un carácter precedente o subsiguiente a lo que
refiere a conjuntos ordenados.
Estos conceptos se pueden aplicar a la teoría de sucesiones y series como también al concepto de
conjuntos acotados y los típicas definiciones aplicadas a los números reales (es decir, el concepto del
continuo) como pueden ser los conceptos de supremo e ínfimo.
En otras palabras, este apartado no es mas que el intento de formalizar lo que entendemos por orden y es
lo que esta sección pretende, de hecho, este apartado pertenece a un titulo muy importante llamado
teoría del orden y que pronto desarrollaremos en algún futuro cercano, ¿me creen, no?. Comencemos con
las definiciones mal llamada propiedades y luego con las clasificaciones.
Orden parcial
SeaRELACIONES
una relación R ⊆ A , se dice que cumple la propiedad de orden parcial si y
MATEMÁTICAS 2
solo si existe un par ordenado como su inversa que no pertenecen a R.
Es decir, R ⊆ A es de orden parcial si y solo si ∃x, y ∈ A|(x, y) ∉ R ∧ (y, x) ∉ R.

2
1. Par Ordenado
Te explico, para que una relación cumpla la propiedad de orden parcial, debe existir un par (x, y) y (y, x) su
inversa que no pertenezca a la misma relación R sobre un conjunto A tal que ∀x, y ∈ A. Para no entrar en
confusión, esta propiedad no indica que no sea posible que un par y su inversa este contenida en una
relación, basta que no exista un par y su inversa extraída de un conjunto A, entonces la relación es de orden
parcial.
¿Porque parcial?, lo puedes entender coloquialmente como “a medias“, significa que la relación puede
tener algunos pares ordenados junto con su inversa extraída de un conjunto dado pero no todas las
combinaciones del conjunto que cumpla (x, y) ∈ R ∧ (y, z) ∈ R.
Ejemplo: Sea el conjunto B = {1, 2, 3, 4, 5, 6}, sea la siguiente relación:

R = {(1, 2), (3, 3), (3, 4), (5, 2), (2, 1), (6, 2)}
Si R esta definida en B, podemos notar que algunos pares ordenados y su inversa están contenidas en R y
son: 4. Correspondencia Matemática
(1, 2) ∈ R y (2, 1) ∈ R.
(3, 3) ∈ R es inversa en si misma.
Pero no todas las combinaciones posibles que podemos formar con el conjunto B como por ejemplo el par
(2, 3) y su5. Relación
inversa De
(3, 2) Equivalencia
que no se encuentran en R, esto implica que la relación de este ejemplo es de
orden parcial, de hecho, si no existe ningún par ni su inversa en una relación definida sobre un conjunto
dado, sigue siendo parcial.
Orden total
Es la negación de la propiedad orden parcial. Sea una relación R ⊆ A , se dice que 2
cumple la propiedad de orden total si para cualquier par ordenado o su inversa

pertenecen a la relación R.
Es decir, R ⊆ A es de orden total si y solo si ∀x, y ∈ A|(x, y) ∈ R ∨ (y, x) ∈ R.

2
También se le conoce como orden fuertemente conexa u orden lineal, en estos casos el par y su inversa
se puede comparar bajo alguna propiedad definida por una relación.
Ejemplo: Si tenemos una relación R definida por la ecuación x + y = 6 para cualquier x, y ∈ N, tomando
dos valores cuales quiera como 2 + 4 = 6 ó 4 + 2 = 6 o ambas.
Nota: AlgunosCAPÍTULOS DELuna
autores definen CURSO
relación total así ∀x, y ∈ A|(x, y) ∈ R ∨ (y, x) ∈ R ∨ x = y, pues
no es necesario la igualdad entre componentes porque la definición de orden total no excluye la
posibilidadRELACIONES
de que x = y, siMATEMÁTICAS
tomamos el ejemplo anterior, también puede cumplirse particularmente
para 3 + 3 = 6, de esta manera se demuestra que la condición x = y esta incluida en la definición de
orden total.
Ejemplo: Si tenemos una relación R definida por la inecuación x ≤ y para cualquier x, y ∈ N, tomando dos
1. Par Ordenado
valores cuales quiera particularmente vemos que 2 ≤ 4 ó 4 ≤ 2, una de ellas es verdadera y la otra es falsa,
por ser una disyunción inclusiva, la proposición es verdadera, por tanto, la relación R definida definida por
x ≤ y cumple la propiedad de orden total.
Orden2. Producto
conexaCartesiano
La relación R ⊆ A es conexa si y solo si ∀x, y ∈ A|x ≠ y → [(x, y) ∈ R ∨ (y, z) ∈ R].

2
Esta propiedad impone una restricción, para que cualquiera de estos pares (x, y) o (y, x) o
ambos pertenezcan a R, debe cumplir
4. Correspondencia primero que x ≠ y para cualquier valor de x e y perteneciente al
Matemática
conjunto A. Recuerde que la propiedad de orden total también es llamado fuertemente conexa.
Ejemplo: Tomemos los datos de un ejemplo anterior donde una relación R esta definida sobre el conjunto
de los números naturales tal que cumple la ecuación x + y = 6, esta relación no cumple la propiedad de
orden conexo ya que 3 + 3 = 6, para un x = y = 3, tenga en cuenta que la definición de orden conexo
5. Relación
debe aplicar para todoDe
los Equivalencia
elementos del conjunto A.
Clasificación de las relaciones de orden

Las siguientes relaciones depende de algunas propiedades ya definidas anteriormente, pero esta
clasificación es únicamente para aquellos que cumplen la propiedad de transitividad ya que esta misma le
da un aspecto ordenado. Veamos cada una de ellas.
Relación de orden
Una relación R ⊆ A es una relación de orden si y solo si es reflexiva, antisimetrica

2
y transitiva. Es decir, debe cumplir 3 condiciones:
✓ Es reflexiva: ∀x ∈ A|(x, x) ∈ R.
✓ Es antisimetrica [(x, y) ∈ R ∧ (y, x) ∈ R] → x = y .
✓ Es transitiva [(x, y) ∈ R ∧ (y, z) ∈ R] → (x, z) ∈ R.
También se le llama relación de orden amplio.

La definición anterior es una definición principal y de aquí se desprende dos tipos de relaciones de orden
mas.
Propiedad: La inversa de una relación de orden es otra relación de orden. Esto lo demostraremos
luego de actualizar esta misma pagina con una serie de teoremas que se han pasado por algo.
1. Par Ordenado
Relación de orden parcial
Una relación R ⊆ A es una relación de orden parcial si y solo si es una relación de

2
2.orden y cumple
Producto la propiedad de orden parcial. Es decir, debe cumplir las siguientes
Cartesiano
condiciones:
3.EsRelaciones
transitiva [(x, y) ∈ R ∧ (y, z) ∈ R] → (x, z) ∈ R.
Binarias
Es de orden parcial: ∃x, y ∈ A|(x, y) ∉ R ∧ (y, x) ∉ R.
También se le llama relación de orden no estricto.

Si una relación de orden parcial R se ha definido sobre un conjunto A, se dice que el conjunto A es
parcialmente ordenado.
Relación de orden total

Una relación R ⊆ A es una relación de orden total si y solo si es una relación de
2
orden y cumple la propiedad de orden parcial. Es decir, debe cumplir las siguientes
condiciones:
✓ Es transitiva: [(x, y) ∈ R ∧ (y, z) ∈ R] → (x, z) ∈ R.
✓ Es de orden total ∀x, y ∈ A|(x, y) ∈ R ∨ (y, x) ∈ R.
También se le llama relación de orden lineal u orden simple.
Para ese caso, si una relación de orden total R se ha definido sobre un conjunto A, se dice que el conjunto
A es totalmente ordenado.
Relación cuasi-ordenado o pre-ordenado
Una relación R ⊆ A se dice que es cuasi-ordenado si es reflexiva y transitiva A.

2
Actualizaremos esta pagina para mas ejemplos de algunas relaciones restantes.
Fin
Si que ha sido una sección larga e interesante y tal vez un poco pesado pero valió la pena exponer las
teorías necesarias aquí, mi mayor dolor de cabeza fue entender todas las interpretaciones de muchos
1. Par
autores que Ordenado
incluso y felizmente no muy a menudo tenían conceptos diferentes para una misma
definición.
La teoría actual aun es incompleta no porque necesito extender la teoría de relaciones de equivalencia o la
teoría de las relaciones de recurrencia que no expuse aquí y creo que no es necesario (y que merece una
sección exclusiva),
2. Productosino Cartesiano
porque aun falta agregar algunas propiedades, ejemplos y diagramas para darle
mayor sencillez a esta larga sección.
Ha sido una sección intensa, la próxima sección desarrollaremos el concepto de correspondencia junto con
sus propiedades y lo que entendemos por aplicación que en otros ámbitos también se llama función.
3. Relaciones
Generalmente Binarias
esta sección se desarrolla junto con las funciones como un tema único llamado “relaciones
y funciones“, originalmente son capítulos de un curso de matemática discreta y en el Perú junto con
otros capítulos como teoría elemental de conjuntos, números reales, inducción matemática, funciones
polinomios, sucesiones y series, etc. y se le conoce como matemática básica, cursos previos para estudiar
otras áreas
4.como, análisis matemático,
Correspondencia análisis de fourier, topología, mecanica clásica, electromagnetismo,
Matemática
entre otras áreas de cursos superiores.
Esta metodología será adoptada en nuestra pagina, es decir, todo el desarrollo teórico de un curso
completo de matemática básica. Y eso es todo amigos, ha sido un día largo, que tengan un buen día, nos
vemos en la próxima sección, bye.
← Entrada anterior Entrada siguiente →
1. Par Ordenado
1. Par Ordenado
1. Par Ordenado
1. Par Ordenado
1. Par Ordenado
1. Par Ordenado
Copyright © 2022 Ciencias Básicas

Políticas de privacidad
Políticas de cookies

Relación Binaria de Dos Conjuntos

Cargado por

Copyright:

Formatos disponibles

Relación Binaria de Dos Conjuntos

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Relación Binaria de Dos Conjuntos

Cargado por

Copyright:

Formatos disponibles

12/7/22, 7:50 ✅ Relaciones binarias: definición y propiedades - Ciencias Básicas

Inicio » Matemática » superior » 3. Relaciones Binarias

CAPÍTULOS DEL CURSO

Las relaciones binarias dependen de los conceptos de pares ordenados y producto

Definición de par ordenado

3. Relaciones Binarias (a, b) ≠ (b, a)

Donde a se llama primera componente y b segunda componente.

Ahora vayamos al tema principal de la sección que nos corresponde.

¿Que es una relación binaria?

Se llama relación binaria del conjunto A al conjunto B a todo subconjunto de

R = {(1, 2), (3, 5), (6, 4)}

CAPÍTULOS DEL CURSO

Definición según el axioma de comprensión

R = {(x, y) ∈ A × B|P(x, y)}

R1 = {(a, 1), (a, 3)}

R2 = {(a, 2), (a, 3), (b, 1)}

R3 = {(a, 2), (a, 3), (b, 1), (b, 2)}

CAPÍTULOS DEL CURSO

R1 = {(x, y) ∈ A × B|x + y ≤ 12} , por extensión:

R = {(x, y) ∈ A × B|P(x, y)}

Entonces podemos corresponder los elementos de A con los elementos de B (unidireccional)

P : N → N indica que el conjunto A es el conjunto de partida o inicial y el conjunto B es el conjunto

de llegada o final. Este concepto lo veremos en la próxima sección.

Dominio y rango de la relación

Definición de dominio de una relación

D(R) = {x ∈ A|∃y ∈ B ∧ (x, y) ∈ R}

Puedes guiarte con el siguiente diagrama:

D(R) = {1, 2, 3, 4, 5} ∧ R(R) = {2, 4, 6}

R = {(x, y) ∈ A × B|xy = 12}

D(R) = {2, 3} ∧ R(R) = {4, 6}

Propiedades del dominio y rango en una relación

D(R1 ∪ R2 ) = D(R1 ) ∪ D(R2 )

D(R1 ∩ R2 ) ⊆ D(R1 ) ∩ D(R2 )

D(R1 – R2 ) ⊆ D(R1 )– D(R2 )

R(R1 ∪ R2 ) = R(R1 ) ∪ R(R2 )

R(R1 ∩ R2 ) ⊆ R(R1 ) ∩ R(R2 )

R(R1 – R2 ) ⊆ R(R1 )– R(R2 )

Esto es, si (m, n) ∈ R, entonces (n, m) ∈ R . ∗

R = {(m, 3), (n, 4), (p, 5)}

Su relación inversa seria:

CAPÍTULOS DEL CURSO

CAPÍTULOS DEL CURSO

R1 oR2 = {(a, c) ∈ A × C|∃b ∈ B, (a, b) ∈ R1 ∧ (b, c) ∈ R2 }

una dependencia de la definición anterior para la relación R oR . 1 2

Relación de un único conjunto (Aclaración)

planteamos las siguientes propiedades.

Propiedad de una relación binaria

En resumen R ⊆ A es reflexiva si y solo si ∀x ∈ A, (x, x) ∈ R.

En la sección de producto cartesiano definimos la diagonal al conjunto de pares ordenados de la forma

D(A) = {(x, x)|x ∈ A}

pertenecen a R tal que para todo elemento x ∈ A.

En resumen R ⊆ A es antirreflexiva si y solo si ∀x ∈ A, (x, x) ∉ R.

CAPÍTULOS DEL CURSO

Ejemplo de propiedad no reflexiva

CAPÍTULOS DEL CURSO

no-antirreflexiva como lo acabamos de demostrar.

3.Una relación definida

Es decir, R ⊆ A es simétrica si y solo si (x, y) ∈ R → (y, x) ∈ R.

R1 = {(3, 4), (4, 3), (2, 2)}

cumplen la simetría. Veamos esta relación: