Productos cartesianos y relaciones binarias: un n-uple ordenado (a1,a2, …,an) es la colección ordenada que tiene

a1como su primer elemento, a2como su segundo elemento…, andancomo no es el elemento.

Los 2-tuplas se llaman pares ordenados.
(a,b)=(c,d) if and only ifa=candb=d
(a,b) ≠ (b,a) unlessa=b

El producto cartesiano de dos conjuntos A y B, denotado por A x B, es el conjunto de pares ordenados de la forma (a,b), donde a es
tomado de A y b tomado de B.

This can be written mathematically:

A x B = {(a,b) | a A y b B}

Definición: El producto cartesiano de los conjuntos A1, A2,

…, An, denotadoA1×A2×… ×An, es el conjunto de ordenado n-
tuplas (a1,a2, …, an), dondeyopertenece a setAyopara i=1, 2, …, n.

A1×A2×…×An= {(a1, un2, …, an) |ayoAyopara i=1, 2, …, n}

Let, A= {0,1,2},B= {a,b}

A×B= {(0,a),(0,b),(1,a),(1,b),(2,a),(2,b).
El producto cartesiano de los conjuntos A y B se denota A×B y se define de la siguiente manera:
A×B = {(x,y): x∈A y y∈B}
A={1,3,5,7}, B={2,4,6}
A×B={(1,2),(1,4),(1,6),(3,2),(3,4),(3,6), (5,2),(5,4),(5,6),(7,2),(7,4),(7,6)}
Relaciones binarias: Sean A y B conjuntos. Una relación binaria entre dos conjuntos A y B es un SUBCONJUNTO de A x B.

Una relación binaria de A a B es un conjunto R de pares ordenados donde el primer elemento de cada par ordenado proviene de A.
y el segundo elemento proviene de B.Relación, en general, es cualquier conjunto de tuplas ordenadas elegidas de conjuntos.

Si (a, b) R, entonces decimos que a está relacionado con b por R. Esto a veces se escribe como a R b.

Definición: Sean A y B conjuntos. Una relación binaria R de A a B es un subconjunto del producto cartesiano A
×B.
Notación: xRy significa (x, y)R, y

xis se dice que está relacionado con toyunderR.

xRydenota (x,y)R.

Example:

Ejemplos
Let A = {1, 2, 3} and B = {a, b}

Relación de A a B?

R = {(1, 1) (2, 2)} No

R={} Sí
R = {(1, a) (1, b)} Sí

R = {(a, 1) (b, 2)} No

Sea A = {1, 2, 3}

R={} Sí

R = {(1, 2) (2, 3) (3, 4) No

Relaciones sobre un conjunto: Una relación en el conjunto A es una relación de A a A. Una relación en un conjunto es un subconjunto de A x A.

Relaciones Inversas: Dada una relación R⊆A×B, entonces R-1⊆B×A tal que:
R-1={(y,x):(x,y)∈R}
R= {(x,y):x<y} definido en números naturales. Es decir, dada una relación R de A a B, la inversa
de la relación R de B a A se define de la siguiente manera:

R-1(y, x) BxA | (x, y) R}

x X y y Y, (y, x) R-1iff (x, y) R

Relación de identidad: IA⊆A×A. IA={(a,a):a ∈A}

Relación universal: UA⊆ A×A. UA={(a,b):a ∈A, b ∈A}
A={1,2,3}
IA={(1,1),(2,2),(3,3)}
UA={(1,1),(2,2),(3,3),(1,2),(1,3),(2,1),(2,3),(3,1),(3,2)}.

Composición de Relaciones: R es una relación en A×B y S es una relación en B×C. La composición S°R es una
relación en A×C definida por S0R={(x,z): (x,y)∈R y (y,z)∈S para algún y∈B}
Dominio de R: El "Dominio" de una Relación(R) es el conjunto de todos los primeros elementos de los ordenados.
pares de la Relación(R). Sea R un subconjunto de A A, definimos el dominio de R: DR={a
A(a; b)R}.

Range of R: “Range” of a Relation(R) is the set of all the second elements of ordered
pares de La Relación(R). Sea R un subconjunto de A A, definimos el rango de R: RR={ b A(a;
b)R}.

Por ejemplo:

Si una Relación R=[{1,2} ,{2,3} ,{3,4}]

Dominio de la Relación R = {1,2,3}

Y el rango de la relación R={2,3,4}

n-ario: DejaA1,A2, … ,Ansean conjuntos. Una relación n-aria sobre estos conjuntos (en este orden) es un subconjunto de
A1×A2× … ×An.

Tupla ordenada: Dado los conjuntos A1; :::An. Un elemento (a1; a2; :::an) tal que ai A si i = 1;2; :::n
se llama
una TUPLA ordenada.

Example:

Si X = {1, 2, 3, 4, 5, 6}, encuentra R = { (x,y): x es un divisor de y }

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

Diagramas de Flechas de Relaciones: Ejemplo 1

Dibuja un diagrama de flechas de x a y xRy (x, y) R

Sea A = {-1, 0, 1} y B = {1, 2, 3} y xRy xy≥1
R = {(1, 1) (1, 2) (1, 3)}
Ejemplo 2

Dibuja un diagrama de flechas de x a y xRy (x, y) R

Sea A = {1, 2, 3, 4} y B = {1, 2} y xRy x=y 2

R = {(1, 1) (4, 2)}

No es una función porque cada elemento en A no es el primer elemento de un par ordenado. Nota: Las relaciones pueden tener
elementos en A sin flecha saliendo de ellos y un elemento en A con múltiples flechas apuntando a diferentes
elementos en B *esto es diferente de una función*

Gráfico Dirigido de Relaciones:

Remember: A binary relation on a set A is a binary relation from A to A

The graph of this relation is called a directed graph
Ejemplo
Sea A = {1, 2, 3} (x, y) A, xRy x≥y
A x A = {(1, 1) (1, 2) (1, 3) (2, 1) (2, 2) (2, 3) (3, 1) (3, 2) (3, 3)}
R = {(1, 1) (2, 1) (2, 2) (3, 1) (3, 2) (3, 3)}.

Gráfico Dirigido de Relaciones (contd)

Dibuja el gráfico dirigido de la relación binaria

Sea A = {2, 3, 4, 5, 6, 7, 8} (x, y) A, xTy 3 | (x-y)

A x A = { (2,2) (2,3) (2,4) (2,5) (2,6) (2,7) (2,8), (3,2) (3,3) (3,4) (3,5) (3,6) (3,7) (3,8), (4,2) (4,3) (4,4) (4,5) (4,6)
(4,7) (4,8), (5,2) (5,3) (5,4) (5,5) (5,6) (5,7) (5,8), (6,2) (6,3) (6,4) (6,5) (6,6) (6,7) (6,8), (7,2) (7,3) (7,4) (7,5) (7,6)
(7,7) (7,8), (8,2) (8,3) (8,4) (8,5) (8,6) (8,7) (8,8) }

Representación matricial de la relación: Si A y B son conjuntos finitos y R es una relación binaria entre A y B, entonces
crea una matriz, M, con las siguientes propiedades:

− las filas de la matriz están indexadas por los elementos de A

− las columnas de la matriz están indexadas por elementos de B

M(ayo,bj) = 1 si (ayo,bj) pertenece a R; 0 de lo contrario

R = {(a,b): a + 1 < b}

Considera el conjunto S = {1, 2, 3, 4, 5, 6, 7, 8}.

La relación < es el conjunto de pares ordenados

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

< 1 2 3 4 5 6 7 8
1 √ √ √ √ √ √ √
2 √ √ √ √ √ √
3 √ √ √ √ √
4 √ √ √ √
 5 √ √ √
6 √ √
7 √
8

Representación gráfica de una relación binaria (gráfica dirigida): Si A y B son dos conjuntos finitos y R es una binaria
la relación entre A y B podemos representar esta relación como un grafo (conjunto de vértices y aristas).

A = {1, 3, 5 ,7}, B = {2, 4, 6, 8}.R = {(a,b): a < b}

Propiedades sobre Relaciones:

• Reflexivo
• irreflexive
• Simétrico
• Antisimétrico
• Transitivo
• Asimétrico

Reflexiva: Una relación R en un conjunto A se llama reflexiva si (a,a) R para cada elemento a en A.

Irreflexivo: R es irreflexivo significa: (x, x) ∉ R para todo x que pertenece a A.

Simétrico: Una relación R en un conjunto A se llama simétrica si (b,a) R siempre que (a,b) R, para algún a,b en A.

Antisymétrico: Una relación R en un conjunto A tal que (a,b) R y (b,a) R solo si a = b para a,b en A se llama
antisymétrico. Tenga en cuenta que antisymétrico no es lo opuesto de simétrico. Una relación puede ser ambas.

Asimétrico: Una relación R en un conjunto A se llama asimétrica si (a,b) Rà (b,a) R.

Transitivo: Una relación R en un conjunto A se llama transitiva si siempre que (a,b) R y (b,c) R, entonces (a,c) R, para a, b,
c A.

Consider the following relations on {1,2,3,4}. Which are reflexive, irreflexive, neither?
R1= {(1,1), (1,2), (2,1), (2,2), (3,3), (4,4)}
Reflexivo
R2{(2,4), (4,2)}
Irreflexivo
R3{(1,2), (2,3), (3,4)}
Irreflexivo
R4= {(1,1), (2,2), (3,3), (4,4)}
Reflexivo
R5{(1,3), (1,4), (2,3), (2,4), (3,1), (3,4)}
Irreflexivo
R6={ (2,2), (2,3), (2,4), (3,2), (3,3), (3,4) } Ninguno
Considera las siguientes relaciones sobre {1,2,3,4}. ¿Cuáles son transitivas?
R1= {(2,2), (2,3), (2,4), (3,2), (3,3), (3,4)}
Transitivo
R2= {(1,1), (1,2), (2,1), (2,2), (3,3), (4,4)}
Transitivo
R3{(2,4), (4,2)}
No transitivo
R4= {(1,2), (2,3), (3,4)}
No transitivo
R5= {(1,1), (2,2), (3,3), (4,4)}
Transitivo
R6= {(1,3), (1,4), (2,3), (2,4), (3,1), (3,4)}
No transitivo
La relación de "dividir" en el conjunto de los números enteros positivos

Transitivo

Considere las siguientes relaciones sobre {1,2,3,4}. ¿Cuáles son sus propiedades?
R1{(2,2), (2,3), (2,4), (3,2), (3,3), (3,4)}
T/A
R2{(1,1), (1,2), (2,1), (2,2), (3,3), (4,4)}
R/S/T
R3= {(2,4), (4,2)}
S
R4= {(1,2), (2,3), (3,4)}
A
R5= {(1,1), (2,2), (3,3), (4,4)}
R/S/A/T
 R6= {(1,3), (1,4), (2,3), (2,4), (3,1), (3,4)}
Ninguno
La relación de 'división' en el conjunto de los enteros positivos
R/A/T

Keys: R = Reflexive, S = Symmetric, A = Antisymmetric, T=Transitive

Determine las propiedades de cada una de las siguientes relaciones definidas en el conjunto de todos los números reales R:
R= {(x,y) |x+y= 0}
R= {(x,y) |x=y x = –y}
R= {(x,y) | x–y es un número racional}
R= {(x,y) |x= 2y}
R= {(x,y) |xy≥ 0}
R= {(x,y) |x y= 0}
R= {(x,y) |x= 1}

R= {(x,y) | x= 1 o y= 1}

R= {(x,y) |x+y= 0}

Solución:
No es reflexivo ya que, por ejemplo, (1,1) R.
No es irreflexivo ya que, por ejemplo, (0,0) R.
Dado que x+y=y+x, se sigue que si x+y=0 entonces y+x=0, por lo que la relación es simbólica.
No es antisimétrico ya que, por ejemplo, (–1,1) y
(1, –1) están ambos en R, pero 1 ≠ –1

La relación no es transitiva ya que, por ejemplo,

(1,–1)Rand (–1,1) R, pero (1,1) R.

R= {(x,y) | x=y x = -y}

Solución:
Dado que para cada x, xRx, entonces es reflexivo.
Dado que es reflexivo, no es irreflexivo.
Siex = ±y si y solo si y = ±x, entonces es simétrico.
No es antisimétrico ya que, por ejemplo, (1,–1)
y (–1,1) están ambos en R pero 1 ≠ –1

También es transitivo porque esencialmente el producto de ±1 y ±1 es ±1.

R= {(x,y) | x–y es un número racional}

Solution:
 Es reflexivo ya que, para todo x, x–x= 0 es un número racional.
Dado que es reflexivo, no es irreflexivo.
Es simétrico porque, si x–y es racional, entonces –(x–y)=y–x también lo es.
No es antisimétrico porque, por ejemplo, (1, –1) y (–1,1) están en R pero 1 ≠ –1.

Es transitivo porque si x–y es un racional y y–z es un racional, entonces también lo es x–y+y–z = x–z.

R= {(x,y) |x= 2y}

Solution:
No es reflexivo ya que, por ejemplo, (1,1) R.
No es irreflexivo ya que, por ejemplo, (0,0) R.
No es simétrico ya que, por ejemplo, (2,1) R
pero (1,2) R.
Es antisimétrico porque x=y=0 es el único momento en que (x,y) y (y,x) están ambos en R.

No es transitivo ya que, por ejemplo, (4,2) R y (2,1) R pero (4,1) R.

R= {(x,y) |xy ≥ 0}

Solución:
Es reflexivo ya que x·x ≥ 0.
Dado que es reflexivo, no es irreflexivo.
Es simétrico ya que el papel de x e y son intercambiables.
No es antisymmetric ya que, por ejemplo, (2,3) y (3,2) están en R, pero 2 ≠ 3.

No es transitivo porque, por ejemplo, (1,0) y

(0, -2) están ambos en R, pero (1, -2) no lo están.

R= {(x,y) |x y= 0}

Solution:
It is not reflexive since (1,1) R.
No es irreflexivo ya que (0,0) R.
Es simétrico ya que el papel de x e y son intercambiables.
No es antisimétrico ya que, por ejemplo, (2,0) y (0,2) están en R pero 2 ≠ 0.
No es transitivo porque, por ejemplo, (1,0) y (0, -2) están en R, pero (1, -2) no lo está.

R= {(x,y) |x= 1}

Solución:
No es reflexivo ya que (2,2) R.
No es irreflexiva ya que (1,1) R.
No es simétrico ya que, por ejemplo, (1,2) R pero (2,1) R.
Es antisimétrico porque si (x,y)R y (y,x)R significa que x=y= 1.
Es transitivo ya que si (1,y)R y (y,z)R, entonces también es (1,z)R.
Representación matricial de relaciones binarias

Las matrices se utilizan para representar los pares ordenados en un producto cartesiano, A x B. Las filas son
etiquetado con elementos de A y las columnas están etiquetadas con elementos de B. Cada posición en el
la matriz se refiere por el par ordenado (etiqueta de fila (en A), etiqueta de columna (en B)).

Luego, usamos esta matriz para representar diferentes relaciones en A x B. Cuando el par ordenado (a,b) es
en la relación R, colocamos un 1 en la posición (a,b) en la matriz. Cuando (a,b) no está en R, colocamos un 0
en la posición (a,b).
 R en A x B
Por ejemplo: b1 b2 b3 b4
A = {a1,a2,a3,a4} a11 0 0 0
B = {b1,b2,b3,b4} a21 0 0 0
a30 1 1 0
R = { (a1,b1), (a2, b1), a40 0 0 1
(a3,b2), (a3, b3), (a4,
b4) }

Relaciones Compuestas

Considera el siguiente problema: Te gustaría volar desde un aeropuerto en Carolina del Norte a algún lugar cerca
o en Irlanda para unas vacaciones, y no te importa dónde vuelas, siempre que llegues entre
NC e Irlanda. Pero no hay vuelos directos disponibles, así que tendrás que hacer un viaje de dos tramos.
Realmente no quieres tener más piernas que eso. Determina si hay una manera de volar entre aquí
y allí.

Primero, averiguamos qué ciudades tienen vuelos disponibles que salen de aeropuertos en Carolina del Norte, que también tienen
vuelos a Londres o Irlanda:

A: Destinos desde NC
Atlanta Washington Nueva York
 Greensboro0 1 0
Raleigh 1 0 0
Charlotte1 1 1
Next, we determine the available flights from Atlanta, Washington, and New York, to cities
cerca/en Irlanda.

B: Destinos en/cerca de Irlanda

{"London":"Londres","Dublin":"Dublín","Shannon":"Shannon"}

Atlanta 0 1 0
Washington1 1 0
Nueva York 1 0 1
Ahora, para encontrar vuelos de NC a Irlanda, realizamos la composición de matrices (esta es la matriz
multiplicación, reemplazando multiplicaciones con Y lógico y reemplazando sumas con O lógico
sobre las dos matrices, para obtener una matriz de valores para los viajes disponibles entre Greensboro y Raleigh
y Charlotte, y Londres, Shannon, y Dublín.

A o B: NC en/cerca de Irlanda
Londres Dublín Shannon
Greensboro1 1 0
Raleigh 0 1 0
Charlotte1 1 1
 Relaciones Reflexivas e Irreflexivas

Una relación binaria R del conjunto A a sí mismo se dice que es reflexiva si, para todos los elementos a en A, (a,a)
está en R.

Example 1: x <= y is reflexive, because x <= x isalwaystrue.

Example 2: "x and y have the same hair color" is also reflexive.

Una relación binaria R en A x A se dice que es irreflexiva si, para todos los elementos a en A, (a,a) no está en R.

Ejemplo 1: x < x es irreflexo, porque x < x nunca es cierto.

Una relación puede ser NI REFLEXIVA NI IRREFLEXIVA. Tenga en cuenta que, cuando miramos la matriz
representación para una relación R, si la relación es reflexiva, entonces toda la diagonal (1,1), (2,2),
(3,3),.... es todo ceros. Si R es irreflexo, entonces su diagonal será todo ceros. Sin embargo, cualquier n por n
matrix of 0's and 1's can be thought of as a binary relation: then, any matrix with a diagonal
contener tanto ceros como unos no es reflexivo ni irreflexivo.

Symmetric, Antisymmetric, and Asymmetric

Relaciones

R en A x A es simétrica si para todos a, b en A, (a,b) está en R siempre que (b,a) esté en R.

Ejemplo: x = y es simétrico. Si x = y, entonces y = x.

R en A x A es antisimétrico si para todos a, b en A, si tanto (a, b) como (b, a) están en R, entonces (a, b) = (b, a)
y a=b. Esto significa que solo permitimos que UNO de (a,b) o (b,a) sea verdadero a la vez, a menos que a=b.

Ejemplo 1: x < y es antisimétrico porque si x < y, entonces y < x es falso.

Ejemplo 2: x <= y es antisimétrico.

R en A x A es asimétrico si es antisimétrico Y además irrefléxivo. Además, R en A x A es

asimétrico, si para todos a, b en A, si (a,b) está en R, entonces (b,a) no está en R. Esto es lo mismo que el
definición anterior, **excepto** que no podemos tener ningún punto (x,x) en R!
Ejemplo 1: x < y es asimétrico

El ejemplo 2: "x tiene más horas de curso que y" es asimétrico

• ¿Cuándo pueden ser las relaciones tanto simétricas como antisimétricas?

• ¿Qué tal ambos, simétrico y asimétrico?
• Are there relations that are none of these? Why?
• ¿Cómo son las representaciones matriciales de estas relaciones?

• Relaciones transitivas
•
•
• R en A x A es intransitivo si, para todos a, b, c, en A,
SI (a,b) está en R, Y (b,c) está en R, ENTONCES (a,c) está en R.
• Ejemplo 1: x < y es transitivo.
• El ejemplo 2: "x es más alto que y" es transitivo.
• Ejemplo 3: x = 2y NO es transitivo.
• Determinar si una relación es transitiva es mucho más difícil que
determinar si una relación es reflexiva, irreflexiva, simétrica, etc.
• ¿Recuerdas las relaciones compuestas? Para hacer una composición de dos relaciones S en A
x B y T en B x C, obtenemos un punto (a,c) en (S o T) siempre que haya un punto (a,k)
en S y un punto (k,c) en T, donde k es algún elemento (aleatorio) en B. Para decir esto un
de manera diferente, si (a,k) está en S, y (k,c) está en T, entonces (a,c) está en S o T. Esto debería
se ven muy similares a nuestra definición de transitividad.
• Podemos usar la composición de relaciones para determinar si R es transitiva. Componer
R o R para obtener 'R al cuadrado'. Esta es una nueva relación. Siempre que (a,b) esté en R, y (b,c)
está en R, entonces (a,c) está en R o R. Así que, todos los puntos que deberían estar en R, si R es
transitivo, se encuentran automáticamente en R o R. Por lo tanto, podemos decir si R es transitivo mediante
ver si R o R es un subconjunto de R (es decir, cada punto en R o R también es un punto en R).

Relaciones de Equivalencia y Posets

R en A x A es una relación de equivalencia si R es:

• reflexivo
• simbólico, y
• transitivo.

[x = y (mod 3)] es una relación de equivalencia. Esto partitiona los enteros en 3 tipos de
conjuntos: aquellos con restos de 0 cuando dividimos por 3, aquellos con restos de 1, y aquellos con
restos de 2. Bajo esta relación, decimos que 0 es equivalente a 3, 6, 9, ...; 1 es equivalente a 4, 7,
10, ...; y 2 es equivalente a 5, 8, 11, ...
Ejemplo 2: "x e y están en la misma clase de matemáticas discretas" también es un ER.

R en A x A es un conjunto parcialmente ordenado, o poset, si R es:

• reflexivo
• antisimétrico, y
• transitivo

Ejemplo 1: x <= y es un poset.

"x divide a y" es un poset en los enteros.

El producto cartesiano de dos conjuntos, X e Y, es el conjunto de todos los pares ordenados cuyo primero
el miembro es un elemento del conjunto X, y cuyo segundo miembro es un elemento del conjunto Y.
El producto cartesiano se escribe como XxY. El producto cartesiano también se conoce como directo.
producto. El concepto de producto cartesiano fue nombrado en honor a Renè Descartes.

X×Y= {(x,y) |x€X y y€Y}

El producto cartesiano del conjunto X y Y es el conjunto de todas las combinaciones posibles de (x, y) donde x es un
el elemento del conjunto X y y es un elemento del conjunto Y. Por ejemplo, si el conjunto X tiene 4 elementos { a , b , c , d }
y el conjunto Y tiene 3 elementos { 1 , 2 , 3 }, entonces el producto cartesiano del conjunto X y Y (escrito como XxY) tiene
12 elementos { ( a , 1 ) , ( a , 2 ) , ( a , 3 ) , ( b , 1 ) , ( b , 2 ) , ( b , 3 ) , ( c , 1 ) , ( c , 2 ) , ( c , 3 ) , (
d , 1 ) , ( d , 2 ) , ( d , 3 ) }.

Otro ejemplo del producto cartesiano es el plano bidimensional R×R. Aquí R representa el conjunto
de todos los números reales. En el plano cartesiano, todos los puntos (x, y) representan cualquier ubicación donde x y
y ambos son números reales.

Un producto cartesiano de dos conjuntos finitos puede considerarse como una tabla, donde un conjunto representa
filas y el otro representa las columnas, y forma los pares ordenados. Las celdas de la tabla son
accedido eligiendo el elemento del conjunto de la fila y la columna.

El producto cartesiano se puede usar para graficar propiedades matemáticas, como en la graficación.
equivalencia y Graficando el producto total.

Propiedades básicas del producto cartesiano

El producto cartesiano no es conmutativo.

La razón de esto es que el par ordenado está invertido. Aunque sus elementos permanecen iguales.
pero su emparejamiento se invierte.

2. A x B ≠ B x A, donde A y B son dos conjuntos diferentes.

Por ejemplo, considera 2 conjuntos A y B, donde A = { a , b} y B = { 1 , 2 }.

AxB={(a,1),(a,2),(b,1),(b,2)}

BxA={(1,a),(1,b),(2,a),(2,b)}

Por lo tanto, A x B ≠ B x A

Hay una excepción con Φ.

AxΦ=ΦxA

Para dos conjuntos iguales P y Q,

P x Q = Q x P , donde P = Q

Por ejemplo, P = { 1 , 2 } y Q = { 1 , 2 }

PxQ={(1,1),(1,2),(2,1),(2,2)}

QxP={(1,1),(1,2),(2,1),(2,2)}

3.El producto cartesiano no es asociativo. Para cualesquiera tres conjuntos no iguales A, B y C

(AxB)xC≠Ax(BxC)

Por ejemplo, A = { a , b}, B = { c , d } y C = { e , f } entonces

( A x B ) x C = { ( ( a , c ) ,e ) , ( ( a , d ) , e ) , ( ( a , c ) , f ) , ( ( a , d ) , f ) , ( ( b , c ) ,
e),((b,d),e),((b,c),f),((b,d),f)}

Ax(BxC)={(a,(c,e)),(a,(d,e)),(a,(c,f)),(a,(d,f)),(b,(c,e
) ) , ( b , ( d , e ) )v , ( b , ( c , f ) ) , ( b , ( d , f ) ) }

Por lo tanto, ( A x B ) x C ≠ A x ( B x C)

4. La intersección se mantiene en el producto cartesiano.

( A∩B ) x ( C∩D ) = ( A x C )∩( B x D )

5. El caso anterior no es cierto para la unión

(AUB)x(CUD)≠(AxB)U(CxD)

6.( A ) x ( B∩C ) = ( A x B )∩( A x C )

7. ( A ) x ( B U C ) = ( A x B ) U ( A x C )
producto n - Ary

La forma generalizada del producto cartesiano para n conjuntos se llama producto n-ario. 1, X2……
Xnsean n conjuntos. El producto cartesiano de estos n conjuntos se puede expresar como,

X1x X2x .......Xn= { (x1, x2...xn) : xyo€ Xyo}

Es un conjunto de n-tuplas. Todas las tuplas están definidas por pares ordenados anidados.

cuadrado cartesiano

El cuadrado cartesiano también se conoce como producto cartesiano binario. Para un conjunto A, el cuadrado cartesiano es
A2 =A x A. Por ejemplo, un plano cartesiano es un cuadrado cartesiano representado por R2eso es R x R
donde R es el conjunto de los números reales.

Por ejemplo

conjunto G={ 1 , 2 }

G2={ ( 1 , 1 , ) , ( 1 , 2 ) , ( 2 , 1 ) , ( 2 , 2 ) }

Potencia cartesiana

Es una forma generalizada. La potencia se representa como una variable n. Para un conjunto X y potencia n,

Xn= X x X x X ....x X (n veces) = { ( x1,x2,...xn) : x 1€ X Λ x 2€ X....xn€ X }

Por ejemplo, para un conjunto G,

G4= G x G x G x G

Ejemplos basados en el producto cartesiano

1. El producto cartesiano de dos conjuntos 'A x B' tiene 6 elementos. Si tres de estos son ( a , b ), ( b , c ) y
( c , c ) , entonces encuentra el conjunto del producto cartesiano " B x A ".

Solución:

Los primeros elementos de los pares ordenados de 'A x B' son elementos del conjunto A. Por lo tanto, 'a', 'b' y 'c' son
los elementos del conjunto A, mientras que el segundo elemento de los pares ordenados de A x B son elementos del conjunto B.
Por lo tanto, 'b' y 'c' son elementos del conjunto B. Se da que hay un total de 6 elementos en el
Producto cartesiano. Tenemos 3 elementos en el conjunto A y 2 en el conjunto B, su producto es 6 (es decir, 3 x 2 = 6)
). Por lo tanto, tenemos todos los elementos del conjunto A y del conjunto B.

A={a,b,c}
B={b,c}

Hemos establecido el conjunto A y el conjunto B, ahora podemos encontrar 'B x A'.

B x A = { ( b , a ) , ( b ,b ) , ( b , c) , ( c , a ) , ( c, b ) , ( c , c ) }

2. El producto cartesiano de dos conjuntos X x Y tiene 4 elementos. Si dos de estos son (1, 2) y (2,
3). Encuentra el producto cartesiano de Y x X.

Solution :

El primer elemento del par ordenado de X x Y son elementos del conjunto X y los segundos elementos del ordenado
el par del conjunto X x Y pertenece al conjunto Y. Por lo tanto, '1' y '2' pertenecen al conjunto X y '2' y '3' son
elementos del conjunto Y. Hasta ahora, el conjunto X y el conjunto Y tienen 2 elementos cada uno. Y 2 x 2 es 4. Se da que
El producto cartesiano del conjunto X x Y tiene 4 elementos. Esto implica que hemos identificado todos los elementos de
conjunto X y conjunto Y.

Tenemos,

X={1,2}

Y={2,3}

Hemos establecido el conjunto X y el conjunto Y. Por lo tanto,

YxX={(2,1),(2,2),(3,1),(3,2)}

3. Se dan dos conjuntos: A = { a , b } y B = { c , d }. Encuentra el número total de subconjuntos de A x

B y por lo tanto escribe el conjunto potencia de AXB.

Solución:

Sea x el número total de elementos en el conjunto A.

x=n(A)=2

De manera similar, dejemos que y sea el número de elementos del conjunto B.

y=n(B)=2

Ahora, el número total de elementos en el producto cartesiano de A x B es xy.

n( A x B) = xy = 2 x 2 = 4

AxB={(a,c),(a,d),(b,c),(b,d)}
El conjunto potencia de A x B contiene 2xyelementos. Por lo tanto, el conjunto potencia de A x B contiene 24es decir, 16 elementos.

n( P ( A x B ) ) = 16

P ( A x B ) = {Φ, ( a , c ) , ( a , d ) , ( b , c ) , ( b , d ) , { ( a , c ) , ( a , d ) } , { ( a , c ) , ( b , c ) } ,
{(a,c),(b,d)},{(a,d),(b,c)},{(a,d),(b,d)},{(b,c),(b,d)},{(a,c)
, ( a , d ) , ( b , c ) } , { ( a , c ) , ( a , d ) , ( b , d) } , { ( a, c ) , ( b, c ) , ( b , d ) } , { ( a , d ) , ( b ,
c),(b,d)},

{(a,c),(a,d),(b,c),(b,d)}}

Etiquetas relacionadas

Explicar el Producto Cartesiano de Dos Conjuntos, Introducción al Producto Cartesiano de Dos Conjuntos, Qué
es el producto cartesiano de dos conjuntos

Producto cartesiano:

El Producto Cartesiano de dosconjuntosA y B son el conjunto de todosPares Ordenados(a,b) donde el primero

elemento de pares ordenados "a" pertenece al primer conjunto "A" y el segundo elemento de los pares ordenados "b"
pertenece o segundo conjunto “B”.

O a∈A y b∈B

Nota: El producto cartesiano del conjunto A y B no es igual al producto cartesiano del conjunto B y A.

Denotación del producto cartesiano:

El producto cartesiano de los conjuntos "A" y "B" se denota por:

A×B

Y el producto cartesiano de los conjuntos "B" y "A" se denota por:

B×A

Por ejemplo:

Si el conjunto A={1,2} y el conjunto B={4,5}

Entonces,

A×B=[ {1,4} , {1,5} , {2,4} , {2,5} ]

Y
B×A=[ {4,1} , {4,2} , {5,1} , {5,2} ]

Nota: Si 'm' es el número de elementos en el conjunto 'A' y 'n' es el número de elementos en el conjunto 'B', entonces
el número de elementos de A×B y B×A es m×n

Por ejemplo:

Si el conjunto A tiene 2 elementos y el conjunto B tiene 3 elementos, entonces el número de elementos que A×B es
B×A tiene 3×2=6.

¿Qué es la Relación?

Cualquier submarinoconjuntode
unProducto cartesianoA×B en el que el primer elemento y el segundo elemento de
pares ordenadostener una relación especial entre sí se conoce como "Relación".

Una relación de unoconjunto(A) a otro conjunto (B) se denota por:

"xRy" o simplemente "R"

Donde (x,y)∈R

Por ejemplo:

Si el conjunto A={Yo, Mi padre, Mi hijo}

And set B={My spouse , My mother , My daughter}

Entonces, una de las "relaciones" del conjunto A al conjunto B puede ser:

R=[{My spouse , Me} , {My mother , My father}]

En la relación anterior, la relación entre el primer y el segundo elemento de los pares ordenados es que "primer
el elemento es la esposa del segundo elemento. Como 'Mi cónyuge' es la esposa de 'Yo'

Si el conjunto A={2,3,4}

Y el conjunto B={4,5,6}

Entonces una de las “Relaciones” del conjunto A al conjunto B puede ser:

R=[{2,4} , {2,6} ,{3,6} ,{4,4}]

In above Relation the relation between first and second element of ordered pairs is that “First
el elemento es un factor del segundo elemento”. Como 4 es un factor de 4.
Dominio y Rango de una Relación:

El "Dominio" de una Relación (R) es el conjunto de todos los primeros elementos de los pares ordenados de la Relación (R)

El "rango" de una relación (R) es el conjunto de todos los segundos elementos de los pares ordenados de la
Relación(R).

Por ejemplo:

Si una relación R=[{1,2} ,{2,3} ,{3,4}]

Dominio de la relación R = {1,2,3}

Y el rango de la relación R={2,3,4}

Diagramáticamente, podemos denotar las relaciones de un conjunto (A) a otro (B) de la siguiente manera:

,
 etc.

Relaciones Inversas:

Una relación obtenida al intercambiar el primer y segundo elemento en los pares ordenados dados.
La relación se conoce como la relación inversa de la relación dada.

Si se da una Relación “R”, entonces el inverso de la relación “R” se denota con el símbolo:

R-1

Por ejemplo:

Si la relación R = [{1,2}, {3,4}, {5,6}]

Entonces la inversa de la Relación R = R-1=[{2,1} , {4,3} , {6,5}]

Relación (matemáticas) redirige aquí. Para una noción más general de relación, véaseFinitario
relación. Para una perspectiva más combinatoria, véaseTeoría de relaciones.

Enmatemáticasuna relación binaria en aconjuntoAis es una colección depares ordenadosde elementos de A. En

en otras palabras, es unsubconjuntodelProducto cartesianoA2=A×A. Más generalmente, una relación binaria
entre dos conjuntos A y B hay un subconjunto de A×B. Los términos relación diádica y relación de 2 lugares
son sinónimos de relaciones binarias.

Un ejemplo es el "dividesrelación entre el conjunto denúmeros primosPand el conjunto deenteros

Z, en el cual cada primo está asociado con cada entero z que es unmúltipleofp(y no con
cualquier entero que no sea un múltiplo de p). En esta relación, por ejemplo, el primo 2 está asociado con
números que incluyen −4, 0, 6, 10, pero no 1 ni 9; y el primo 3 está asociado con números que
incluye 0, 6 y 9, pero no 4 ni 13.
Las relaciones binarias se utilizan en muchas ramas de las matemáticas para modelar conceptos como "es mayor
que", "es igual a, y "divide" enaritmética, "es congruente conengeometríaestá adyacente a
teoría de grafos, "es ortogonalaálgebra linealy muchos más. El concepto defunciónes
definido como un tipo especial de relación binaria. Las relaciones binarias también se utilizan mucho encomputadora
ciencia.

Una relación binaria es el caso especial cuando n= 2 de unn-relación aritariaR⊆A1×

… ×An, es decir, un conjunto de n-
tuplasdonde eljthel componente de cada n-tupla se toma de la jthdomainAjde la relación.

En algunos sistemas deteoría de conjuntos axiomáticalas relaciones se extienden aclases, que son
generalizaciones de conjuntos. Esta extensión es necesaria para, entre otras cosas, modelar los conceptos
de "es un elemento de" o "es un subconjunto de" enteoría de conjuntos, sin caer en inconsistencias lógicas
tal comoLa paradoja de Russell.

Formal definition

Una relación binaria R se define generalmente como un triple ordenado (X, Y, G) donde X e Y son arbitrarios.
conjuntos (o clases), y Gis unsubconjuntodelProducto cartesianoX×Y. Los conjuntos X e Y se llaman los
dominio(o el conjunto de salida) ycodominio(o el conjunto de destino), respectivamente, del
relación, y Gis se llama sugráfico.

La afirmación (x,y)∈R se lee "x es relacionado con R por y", y se denota por xRy o R(x,y). Este último
la notación corresponde a verRas elfunción característicaen "X" x "Y" para el conjunto de pares
ofG.

El orden de los elementos en cada par de G es importante: si a ≠ b, entonces aRb y bRa pueden ser verdaderos.
o falso, independientemente unos de otros.

¿Es una relación más que su gráfico?

Según la definición anterior, dos relaciones con el mismo gráfico pueden ser diferentes, si ellas
difieren en los conjuntos X e Y. Por ejemplo, si G = {(1,2),(1,3),(2,7)}, entonces (Z,Z,G), (R,N,G), y
(N,R,G) son tres relaciones distintas.

Algunos matemáticos no consideran que los conjuntos X e Y formen parte de la relación, y por lo tanto
define una relación binaria como un subconjunto de X×Y, es decir, solo el gráfico G. De acuerdo con esto
Desde la vista, el conjunto de pares {(1,2),(1,3),(2,7)} es una relación de cualquier conjunto que contenga {1,2} a cualquier conjunto.
que contiene {2,3,7}.

Un caso especial de esta diferencia en los puntos de vista se aplica a la noción defunciónLa mayoría de los autores
insistir en distinguir entre la función de uncodominioy surango. Así, una única "regla" como
mapeando cada número real x a x2puede llevar a funciones distintas f:R→R y g:R→R+, dependiendo
en las imágenes bajo esa regla se entienden como reales o, más particularmente, reales no negativos.
Pero otros ven las funciones simplemente como conjuntos de pares ordenados con componentes primeros únicos. Esto
La diferencia en perspectivas plantea algunos problemas no triviales. Como ejemplo, el campamento anterior
considerasobreyectividad—o ser hacia—como una propiedad de las funciones, mientras que este último lo ve como un
relación que pueden tener las funciones con los conjuntos.

Cualquiera de los enfoques es adecuado para la mayoría de los usos, siempre que se preste atención a los cambios necesarios en
lenguaje, notación y las definiciones de conceptos comorestricciones, composición, relación inversa,
y así sucesivamente. La elección entre las dos definiciones generalmente solo importa en contextos muy formales,
gustarteoría de categorías.

Ejemplo

Ejemplo: Supongamos que hay cuatro objetos {pelota, coche, muñeca, pistola} y cuatro personas {John, Mary, Ian,
Venus}. Supongamos que John posee la pelota, Mary posee la muñeca y Venus posee el coche. Nadie
posee la pistola y Ian no posee nada. Entonces la relación binaria "es poseído por" se da como

R=({pelota, auto, muñeca, pistola}, {John, Mary, Ian, Venus}, {(pelota, John), (muñeca, Mary),
(coche, Venus)}.

Así, el primer elemento de R es el conjunto de objetos, el segundo es el conjunto de personas, y el último

el elemento es un conjunto de pares ordenados de la forma (objeto, propietario).

El par (pelota, John), denotado porpelotaRJuansignifica que la pelota es propiedad de John.

Two different relations could have the same graph. For example: the relation

({ball, car, doll, gun}, {John, Mary, Venus}, {(ball,John), (doll, Mary), (car,
Venus

es diferente de la anterior ya que todos son propietarios. Pero los gráficos de las dos relaciones
son los mismos.

Sin embargo, R suele identificarse o incluso definirse como G(R) y "un par ordenado (x,y)∈G(R)"
se denota generalmente como "(x,y)∈R".

Tipos especiales de relaciones binarias

Algunas clases importantes de relaciones binarias R entre X e Y se enumeran a continuación.

Propiedades de unicidad:

• inyectiva(también llamado único a la izquierda[1]): para todo x en X y z en Z y y en Y se sostiene

que si xRyi zRy entonces x=z.
• funcional (también llamado único a la derecha[1]definido[citation needed]): para todo x
enX, y andzinYit sostiene que si xRy y xRz entonces y=z; tal un binario
la relación se llama unafunción parcial.
• uno a uno (también escrito 1 a 1): inyectivo y funcional.
Propiedades de totalidad:

• total-izquierdo[1]para todo x en X existe un y en Y tal que xRy (esta propiedad,

aunque a veces también se le llama total, es diferente de la definición
de total en la siguiente sección).
• sobreyectiva(también llamado total-derecho[1]): para cada aliado existe una x en X tal que
thatxRy.
• A correspondenciauna relación binaria que es tanto total por la izquierda como suryectiva.

Propiedades de unicidad y totalidad:

• Afunciónuna relación que es funcional y total a la izquierda.

• Abijecciónuna correspondencia uno a uno; tal relación es una función y es
se dice que es bijectiva.

Relaciones sobre un conjunto

Si X=Y, entonces decimos simplemente que la relación binaria es sobre X. O es una endorelación sobre X.
Algunas clases de endorelaciones son ampliamente estudiadas enteoría de grafos, donde son conocidos como
grafos dirigidos.

El conjunto de todas las relaciones binarias B(X) sobre un conjunto X es unsemigrupo con involucióncon la involución
siendo el mapeo de una relación a su relación inversa.

Algunas clases importantes de relaciones binarias sobre un conjunto X son:

• reflexivopara todo x en X, se sostiene que xRx. Por ejemplo, "mayor que o igual a
"to" es una relación reflexiva, pero "mayor que" no lo es.
• irreflexivo (o estricto): para todo x en X, se cumple que no xRx. "Mayor que" es un
ejemplo de una relación irreflexiva.
• coreflexivopara todo x y y en X, se cumple que si xRy, entonces x = y. "Igual a y
"impar" es un ejemplo de una relación coreflexiva.
• simbólicopara todos x y en X, se sostiene que si xRy, entonces yRx. "¿Es un vínculo de sangre
"ser pariente de" es una relación simétrica, porque x es pariente de y si y
solo si es un pariente consanguíneo de x.
• antisímetricopara todo x y en X, se sostiene que si xRy y yRx, entonces x = y.
"Mayor o igual que" es una relación antisimétrica, porque si x≥y y
y≥x, entonces x=y.
• asimétricopara todo x y en X se sostiene que si x R y entonces no y R x. "Mayor
"que" es una relación asimétrica, porque si x > y entonces no y > x.
• transitivopara todo x, y y z en X se sostiene que si xRy y yRz entonces xRz. "Es un
"ancestro de" es una relación transitiva, porque si x es un ancestro de y y y es...
un ancestro de z, entonces xis un ancestro de z.
• totalpara todo x y y en X se sostiene que xRy o yRx (o ambos). "Es mayor que o
"igual a" es un ejemplo de una relación total (esta definición para total es diferente
de la que se mencionó en la sección anterior).
• tricómicapara todo x y y en X exactamente uno de xRy, yRx o x=y se cumple. "Es
"mayor que" es un ejemplo de una relación tricotómica.
 • Euclidianopara todos x, y y z en X se mantiene que si xRy y xRz, entonces yRz (y
zRy). La igualdad es una relación euclidiana porque si x = y y x = z, entonces y = z.
• serial: para todo x en X, existe y en X tal que xRy. "Es mayor que" es un
relación serial en los enteros. Pero no es una relación serial en los positivos
números enteros, porque no hay y en los números enteros positivos tal que 1>y.[2]
Sin embargo, el "es menor que" es una relación serial en los números enteros positivos (el
números naturales), los números racionales y los números reales. Cada reflexivo
la relación es en serie.
• como un conjunto: para cada xinX, elclasede aliado tal que yRxis es un conjunto. (Esto hace
solo tiene sentido si permitimos relaciones sobre clases adecuadas.) El orden usual < en
la clase de números ordinales es similar a un conjunto, mientras que su inverso > no lo es.

Una relación que es reflexiva, simétrica y transitiva se llama unarelación de equivalenciaUna relación
que es reflexivo, antisimétrico y transitivo se llama unorden parcialUn orden parcial que es total
se llama unorden totalorden sencillaorden lineal, o una cadena.[3]Un orden lineal donde cada
un conjunto no vacío tiene unelemento mínimose llama unbien ordenadoUna relación que es simétrica, transitiva,
y el serial también es reflexivo.

Operaciones sobre relaciones binarias

Si R es una relación binaria sobre X y Y, entonces lo siguiente es una relación binaria sobre Y y X:

• Inverse orconverse:R-1, definido como R-1= { (y,x) | (x,y) ∈R }. Un binario

Una relación sobre un conjunto es igual a su inversa si y solo si es simétrica.
tambiéndualidad (teoría de órdenes).

Si R es una relación binaria sobre X, entonces cada una de las siguientes es una relación binaria sobre X:

• Cierre reflexivo:R =
, definido como R =
= { (x,x) |x∈X } ∪R para el más pequeño
relación reflexiva sobreXconteniendoR. Esto se puede ver como igual a la
intersección de todas las relaciones reflexivas que contienen R.
• Reducción reflexiva: R ≠
=R\ { (x,x) |x∈X } o el más grande
, definido comoR ≠

irreflexivorelación sobreXcontenida enR.

• Cierre transitivo:R +, definido como la relación transitiva más pequeña sobre X
conteniendo R. Esto se puede ver que es igual a la intersección de todas las transitivas
relaciones que contienen R.
• Reducción transitiva:R −, definido como una relación mínima que tiene la misma
cierre transitivo como R.
• Cierre transitivo reflexivo: R *, definido como R * = (R +) =, el más pequeño
preordenarcontieneR.
• Cierre simétrico transitivo reflexivo:R ≡, definido como el más pequeño
relación de equivalenciasobreXconteniendoR.

Si R, S son relaciones binarias sobre X e Y, entonces cada una de las siguientes es una relación binaria:

• Unión: R∪S⊆X×Y, definido como R∪S= { (x,y) | (x,y) ∈R o (x,y) ∈S }.

• Intersección: R∩S⊆X×Y, definido como R∩S= { (x,y) | (x,y) ∈R y (x,y)
∈S }.
Si R es una relación binaria sobre X e Y, y S es una relación binaria sobre Y y Z, entonces lo siguiente
es una relación binaria sobre X y Z: (ver artículo principalcomposición de relaciones)

• Composición: S∘R, también denotado R; S (o más ambiguamente R∘S), definido

asS ∘ R= { (x,z) | existe y∈Y, tal que (x,y) ∈R y (y,z) ∈S }.
El orden de RandSin la notación S ∘ R, utilizada aquí, concuerda con el estándar
orden notacional paracomposition of functions.

Complemento

Si R es una relación binaria sobre X y Y, entonces lo siguiente también:

• ElcomplementoSis definido como x S y si no x R y.

El complemento del inverso es el inverso del complemento.

Si X = Y, el complemento tiene las siguientes propiedades:

• Si una relación es simétrica, el complemento también lo es.

• El complemento de una relación reflexiva es irreflexiva y viceversa.
• El complemento de aorden estricto débiles un preorden total y viceversa.

El complemento del inverso tiene estas mismas propiedades.

Restricción

Elrestricciónde una relación binaria en un conjunto X a un subconjunto S es el conjunto de todos los pares (x,y) en el
relación para la cual x e y están en S.

Si una relación esreflexivo, irreflexivo, simbólico, antisimétrico, asimétrico, transitivo, total,

tricotómico, aorden parcial, pedido total, orden débil estricto, preorden total(orden débil), o un
relación de equivalencia, sus restricciones también lo son.

Sin embargo, el cierre transitivo de una restricción es un subconjunto de la restricción del transitivo
cierres, es decir, en general no iguales.

Además, los diversos conceptos decompletitud(no confundir con ser 'total') no llevan
sobre las restricciones. Por ejemplo, en el conjunto denúmeros realesuna propiedad de la relación "≤" es que
cadano vacíosubconjuntos de R con uncota superiorenR tiene unlímite superior más pequeño(también llamado
supremo) en R. Sin embargo, para un conjunto de números racionales, este supremo no es necesariamente
racional, por lo que la misma propiedad no se sostiene en la restricción de la relación "≤" al conjunto de
rational numbers.

La restricción izquierda (restricción derecha, respectivamente) de una relación binaria entre X e Y a un

un subconjunto de su dominio (codominio) es el conjunto de todos los pares (x,y) en la relación para los cuales x(y) es un
elemento de S.
Colecciones versus clases

Certain mathematical "relations", such as "equal to", "member of", and "subset of", cannot be
se entienden como relaciones binarias según lo definido arriba, porque sus dominios y codominios no pueden
ser considerados conjuntos en los sistemas habituales deteoría de conjuntos axiomática.

Por ejemplo, si intentamos modelar el concepto general de "igualdad" como una relación binaria =, debemos
toma el dominio y el codominio como el "conjunto de todos los conjuntos", que no es un conjunto en la teoría de conjuntos usual.
La solución habitual a este problema es seleccionar un conjunto A "suficientemente grande", que contenga todo el
objetos de interés, y trabajar con la restricción =Aen lugar de =.

Del mismo modo, la relación "subconjunto de" ⊆ necesita ser restringida para tener dominio y codominio P(A)
(el conjunto potencia de un conjunto específico A): la relación de conjunto resultante se puede denotar ⊆ATambién, el
la relación 'miembro de' necesita ser restringida para tener dominio A y codominio P(A) para obtener un
relación binaria ∈Uneso es un conjunto.

Otra solución a este problema es utilizar una teoría de conjuntos con clases propias, comoNBGo
Teoría de conjuntos de Morse–Kelley, y permitir que el dominio y el codominio (y por lo tanto el gráfico) seanadecuado
clasesen tal teoría, la igualdad, la pertenencia y el subconjunto son relaciones binarias sin carácter especial
comentario. (Se necesita hacer una modificación menor al concepto del trío ordenado (X,Y,G),
como normalmente una clase adecuada no puede ser un miembro de una tupla ordenada; o, por supuesto, se puede identificar
la función con su gráfico en este contexto.)

En la mayoría de los contextos matemáticos, las referencias a las relaciones de igualdad, membresía y subconjunto son
inofensivos porque se pueden entender implícitamente como restringidos a algún conjunto en el contexto.

El número de relaciones binarias

El número de relaciones binarias distintas en un conjunto de n elementos es 2n2(secuenciaA002416enOEIS):

Número de relaciones binarias de n elementos de diferentes tipos

tránsitoreflexiónpreordenarparcial total total equivalencia

n todo
vivirveerordenpreordenarorden relación

0 1 1 1 1 1 1 1 1

1 2 2 1 1 1 1 1 1

2 16 13 4 4 3 3 2 2

3 512 171 64 29 19 13 6 5

4 65536 3994 4096 355 219 75 24 15

OEIA0024A00690A0537A0007
A001035A000670A000142A000110
S 16 5 63 98
{"text":"Notas:"}

• El número de relaciones irreflexivas es el mismo que el de relaciones reflexivas.

• El número deórdenes parciales estrictos(relaciones transitivas irreflexivas) es lo mismo
como el de órdenes parciales.
• El número de órdenes débiles estrictos es el mismo que el de los preórdenes totales.
• Los órdenes totales son los órdenes parciales que también son preórdenes totales. El
el número de preórdenes que no son ni un orden parcial ni un preorden total es,
por lo tanto, el número de pedidos anticipados, menos el número de pedidos parciales,
menos el número total de preordenes, más el número total de pedidos: 0, 0, 0,
3 y 85, respectivamente.
• el número de relaciones de equivalencia es el número departiciones, que es el
Número de Bell.

Las relaciones binarias se pueden agrupar en pares (relación,complemento), excepto que forn= 0 el
la relación es su propio complemento. Los que no son simétricos se pueden agrupar encuádruples
(relación, complemento,inverso, complemento inverso).

Relaciones binarias por propiedad

reflexiónsimetríatransito
ejemplo de símbolo
ve ric ve

grafo dirigido →

undirected
No Sí
gráfico

picoteando
tournament No No
pedido

dependencia Sí Sí

orden débil Sí ≤

preordenar Sí Sí ≤ preferencia

orden parcial Sí No Sí ≤ subconjunto

parcial
Sí Sí
equivalencia

equivalencia Sí Sí Sí ∼,≅, ≈,igualdad

relación ≡

parcial estricto adecuado

No No Sí <
orden subconjunto