es Relaci%C3%B3n matem%C3%A1tica

En matemáticas, una relación en un conjunto es alguna clase de vínculo que puede darse o puede no darse (sin posibilidad de estados intermedios) entre dos miembros de un conjunto determinado. Por ejemplo, "ser menor que" es una relación en el conjunto de los números naturales; que se verifica entre 1 y 3 (lo que se expresa como 1<3), y también entre 3 y 4 (denotado como 3<4); pero que no se da entre 3 y 1 ni tampoco entre 4 y 4. Otro ejemplo puede ayudar a clarificar el concepto: "ser hermana de" es una relación en el conjunto de todas las personas, que se cumple, por ejemplo, entre Marie Curie y Bronisława Dłuska, y viceversa.

Los miembros del conjunto no pueden estar en relación "hasta cierto punto": o están en relación, o no lo están.

Características generales

Formalmente, una relación $R$ sobre un conjunto $X$ puede verse como un conjunto de pares ordenados $(x, y)$ de miembros de $X$ .^[1] La relación $R$ se mantiene entre $x$ e $y$ si $(x, y)$ es miembro de $R$ .

Por ejemplo, la relación "ser menor que" en los números naturales genera un conjunto infinito de pares de números naturales denominado $R menor$ , que contiene tanto a $(1,3)$ como a $(3,4)$ , pero ni a $(3,1)$ ni a $(4,4)$ .

La relación "es un divisor de" en el conjunto de números naturales de un dígito es lo suficientemente pequeña como para mostrarse aquí:

R div = {(2,4), (2,6), (2,8), (3,6), (3,9), (4,8) }

;

por ejemplo, 2 es un divisor no trivial de 8, pero no al revés, por lo tanto $(2,8) \in R div$ ; y en cambio, $(8,2) \notin R div$ .

Si $R$ es una relación que se cumple para $x$ e $y$ , a menudo se escribe $xRy$ . Para las relaciones más comunes en matemáticas, se introducen símbolos especiales, como "<" para "es menor que", y "|" para "es un divisor no trivial de", y, el más conocido símbolo "=" para "es igual que". Por ejemplo, "1<3", que se lee como "1 es menor que 3", y " $(1,3) \in R menor$ " significan lo mismo; algunos autores también escriben " $(1,3) \in (<)$ ".

A continuación se mencionan algunas propiedades de las relaciones:

Una relación $R$ es reflexiva si $xRx$ se cumple para todos los $x$ , e irreflexiva si $xRx$ se cumple para ningún $x$ .
Es simétrica si $xRy$ siempre implica $yRx$ y asimétrica si $xRy$ implica que $yRx$ es imposible.
Es transitiva si $xRy$ y $yRz$ siempre implican que $xRz$ .

Por ejemplo, "es menor que" es una relación irreflexiva, asimétrica y transitiva, pero no reflexiva ni simétrica. La relación "es hermano de" es transitiva, pero no reflexiva (por ejemplo, Pierre Curie no es hermano de sí mismo), ni simétrica ni asimétrica; si bien ser irreflexivo o no puede ser una cuestión de definición (¿es cada mujer hermana de sí misma?). La relación "es antepasado de" es transitiva, mientras que "es padre de" no lo es.

Se han declarado numerosos teoremas matemáticos sobre combinaciones de propiedades de relación, como "Una relación transitiva es irreflexiva si, y solo si, es asimétrica".

De particular importancia son las relaciones que satisfacen ciertas combinaciones de propiedades. Un conjunto parcialmente ordenado está definido mediante una relación reflexiva, antisimétrica y transitiva,^[2] una relación de equivalencia es una relación reflexiva, simétrica y transitiva,^[3] una función es una relación única por la derecha y total por la izquierda (véase más adelante).^[4]^[5]

Dado que las relaciones operan sobre conjuntos, se pueden manipular mediante operaciones de conjuntos, incluidas operaciones como la unión, la intersección y la complementación, y satisfaciendo las leyes de un álgebra de conjuntos. Más allá de este hecho, están disponibles operaciones como la inversa de una relación y la composición de relaciones, que satisfacen las leyes del cálculo de relaciones.^[6]^[7]^[8]

El concepto anterior de relación^{[nota 1]} se ha generalizado para admitir relaciones entre miembros de dos conjuntos diferentes ("relación heterogénea", como en el caso de la relación "se encuentra en" definida entre el conjunto de todos los puntos y el de todas las rectas en geometría), relaciones entre tres o más conjuntos (relación finita, como en el caso de "la persona x,, vive en la ciudad y,, en el momento z,,"), y relaciones entre clases^{[nota 2]} (como en el caso de "es un elemento de" en la clase de todos los conjuntos; véase relación binaria).

Definición

Dado un conjunto X, una relación R sobre X es un conjunto de pares ordenados de elementos de X. Formalmente: $R \subseteq {(x,y): x,y \in X}$ .^[1]^[9]

La declaración $(x, y) \in R$ se interpreta como que "x está R-relacionado con y"; y escrita en notación de infijo toma la forma xRy.^[6]^[7] El orden de los elementos es importante; si $x \neq y$ entonces yRx puede ser verdadero o falso independientemente de xRy. Por ejemplo, 3 divide a 9, pero 9 no divide a 3.

Representación de relaciones

y x	1	2	3	4	6	12
1
2
3
4
6
12
Representación de R_div como matriz booleana

Una relación R sobre un conjunto finito X puede representarse como:

Un grafo dirigido: Cada miembro de X corresponde a un vértice; una arista dirigida de x a y existe si, y solo si, (x,y) ∈ R.
Una matriz booleana: Los miembros de X están organizados en alguna secuencia fija x₁,...,x_n; la matriz tiene orden n×n, siendo el elemento en la línea i, columna j, , si (x_i,x _j) ∈ R, y , en caso contrario.
Un gráfico 2D: Como generalización de una matriz booleana, una relación en el conjunto (infinito) ℝ de los números reales se puede representar como una figura geométrica bidimensional: usando coordenadas cartesianas, dibujar los puntos (x,y) tales que (x,y) ∈ R.

Una relación transitiva^{[nota 3]} R en un conjunto finito X también se puede representar como:

Un diagrama de Hasse: Cada miembro de X corresponde a un vértice, y los vínculos dirigidos se dibujan de manera que exista un camino de x a y si, y solo si, (x,y) ∈ R. En comparación con una representación mediante un gráfico dirigido, un diagrama de Hasse necesita menos vínculos, lo que da lugar a una imagen menos enredada. Dado que la relación "existe un camino dirigido de x a y" es transitiva, en los diagramas de Hasse solo se pueden representar relaciones transitivas. Por lo general, el diagrama está diseñado de manera que todos los vínculos apunten hacia arriba, y se omiten las flechas.

Por ejemplo, en el conjunto de todos los divisores de 12, se define la relación R_div mediante

x R_div y si x es un divisor de y, y además x≠y.

Formalmente, X = { 1, 2, 3, 4, 6, 12 } y R_div = { (1,2), (1,3), (1,4), (1 ,6), (1,12), (2,4), (2,6), (2,12), (3,6), (3,12), (4,12), (6,12 ) }. La representación de R_div como una matriz booleana se muestra en la tabla del medio; mientras que en la imagen de la izquierda se muestra la representación como diagrama de Hasse y como gráfico dirigido.

Las siguientes expresiones son equivalentes:

x R_div y es verdadera.
(x, y) ∈ R_div.
Existe una ruta de x a y en el diagrama de Hasse que representa R_div.
Existe una arista de x a y en el gráfico dirigido que representa R_div.
En la matriz booleana que representa R_div, el elemento en la fila x, columna y es "".

Como otro ejemplo, se define la relación R_el en ℝ mediante:

x R_el y si x²+xy+y²=1.

La representación de R_el como un gráfico 2D genera una elipse (véase la imagen de la derecha). Dado que ℝ no es finito, no se puede utilizar ni un gráfico dirigido, ni una matriz booleana finita, ni un diagrama de Hasse para representar R_el.

Propiedades de las relaciones

Algunas propiedades importantes que puede tener una relación $R$ sobre un conjunto $X$ son:

Reflexiva: Para todos los $x \in X$ , $xRx$ . Por ejemplo, ≥ es una relación reflexiva pero > no lo es.

Irreflexiva (o estricta): Para todos los $x \in X$ , no se cumple que $xRx$ . Por ejemplo, > es una relación irreflexiva, pero ≥ no lo es.

Las 2 alternativas anteriores no son exhaustivas; por ejemplo, la relación roja $y = x 2$ que se muestra en el siguiente diagrama no es irreflexiva ni reflexiva, ya que contiene el par $(0, 0)$ , pero no $(2, 2)$ , respectivamente.

Simétrica: Para todos los $x, y \in X$ , si $xRy$ entonces $yRx$ . Por ejemplo, "es un pariente consanguíneo de" es una relación simétrica, porque $x$ es un pariente consanguíneo de $y$ si y solo si $y$ es un pariente consanguíneo de $x$ .

Antisimétrica: Para todos los $x, y \in X$ , si $xRy$ y $yRx$ entonces $x = y$ . Por ejemplo, ≥ es una relación antisimétrica; también lo es >, pero vaccuamente (la condición en la definición siempre es falsa).^[10]

Asimétrica: Para todos los $x, y \in X$ , si $xRy$ entonces no se cumple que $yRx$ . Una relación es asimétrica si y solo si es a la vez antisimétrica e irreflexiva.^[11] Por ejemplo, > es una relación asimétrica, pero ≥ no lo es.

Nuevamente, las tres alternativas anteriores están lejos de ser exhaustivas. Por ejemplo, en el caso de los números naturales, la relación $xRy$ definida por $x > 2$ no es simétrica (por ejemplo, 5R1, pero no 1R5) ni antisimétrica (por ejemplo, 6R4, pero también 4R6), y mucho menos asimétrica.

Transitiva: Para todos los $x, y, z \in X$ , si $xRy$ y $yRz$ entonces $xRz$ . Una relación transitiva es irreflexiva si y solo si es asimétrica.^[12] Por ejemplo, "es antepasado de" es una relación transitiva, mientras que "es padre de" no lo es.

Conexa: Para todos los $x, y \in X$ , si $x \neq y$ entonces $xRy$ o $yRx$ . Por ejemplo, en los números naturales, la relación < es conexa, mientras que "es un divisor de" no lo es (por ejemplo, ni 5R7 ni 7R5).

Fuertemente conexa: Para todos los $x, y \in X$ , $xRy$ o $yRx$ . Por ejemplo, en los números naturales, ≤ es una relación fuertemente conexa, pero < no lo es.

Propiedades de unicidad:

Inyectiva^{[nota 4]} (también llamada única por la izquierda)^[13]: Para todos los $x, y, z \in X$ , si $xRy$ y $zRy$ entonces $x = z$ . Por ejemplo, las relaciones verde y azul en el diagrama son inyectivas, pero la roja no lo es (ya que relaciona −1 y 1 con 1), ni la negra (ya que relaciona −1 y 1 con 0). .
Funcional^{[nota 4]} (también llamada única por la derecha,^[13] definida por la derecha^[14] o univalente)^[8]: Para todos los $x, y, z \in X$ , si $xRy$ y $xRz$ entonces $y = z$ . Esta relación se llama función parcial. Por ejemplo, las relaciones roja y verde en el diagrama son funcionales, pero la azul no lo es (ya que relaciona 1 con −1 y 1), ni la negra (ya que relaciona 0 con −1 y 1).

Propiedades de totalidad:

Serial^{[nota 4]} (también llamada total o total por la izquierda): Para todo $x \in X$ , existe algún $y \in X$ tal que $xRy$ . Esta relación se denomina función multivaluada. Por ejemplo, las relaciones representadas en color rojo y en verde en el diagrama son totales, pero la azul no lo es (ya que no relaciona −1 con ningún número real), ni la negra (ya que no relaciona 2 con ningún número real). Como otro ejemplo, > es una relación serial sobre números enteros. Pero no es una relación serial sobre los números enteros positivos, porque no hay $y$ en los números enteros positivos tales que $1 > y$ .^[15] Sin embargo, < es una relación serial entre los números enteros positivos, los números racionales y los números reales. Cada relación reflexiva es serial: para un $x$ determinado, se puede elegir un $y = x$ .

Sobreyectiva^{[nota 4]} (también llamada total por la derecha^[13]): Para todo $y \in Y$ , existe un $x \in X$ tal que $xRy$ . Por ejemplo, las relaciones verde y azul en el diagrama son sobreyectivas, pero la roja no lo es (ya que no relaciona ningún número real con −1), ni la negra (ya que no relaciona ningún número real con 2).

Combinaciones de propiedades

Relaciones por sus propiedades
	Reflexividad	Simetría	Transitividad	Conectividad	Ejemplo
Orden parcial	Refl	Antisim	Sí		Subconjunto
Orden parcial estricto	Irrefl	Asim	Sí		Subconjunto estricto
Orden total	Refl	Antisim	Sí	Sí	Orden alfabético
Orden total estricto	Irrefl	Asim	Sí	Sí	Orden alfabético estricto
Relación de equivalencia	Refl	Sim	Sí		Igualdad

Las relaciones que satisfacen ciertas combinaciones de las propiedades anteriores son particularmente útiles y, por lo tanto, han recibido nombres propios.

Relación de equivalencia: Una relación que es reflexiva, simétrica y transitiva. También es una relación simétrica, transitiva y serial, ya que estas propiedades implican reflexividad.

Órdenes:

Orden parcial: Una relación que es reflexiva, antisimétrica y transitiva.

Orden parcial etricto: Una relación que es irreflexiva, antisimétrica y transitiva.

Orden total: Relación reflexiva, antisimétrica, transitiva y conexa.^[16]

Orden total estricto: Una relación irreflexiva, antisimétrica, transitiva y conexa.

Propiedades de unicidad:

Uno a uno^{[nota 4]}: Inyectiva y funcional. Por ejemplo, la relación verde en el diagrama es uno a uno, pero las rojas, azules y negras no lo son.
Uno a varios^{[nota 4]}: Inyectiva y no funcional. Por ejemplo, la relación azul en el diagrama es de uno a varios, pero las rojas, verdes y negras no lo son.
Varios a uno^{[nota 4]}: Funcional y no inyectiva. Por ejemplo, la relación roja en el diagrama es de varios a uno, pero las verdes, azules y negras no lo son.
Varios a varios^{[nota 4]}: No inyectiva ni funcional. Por ejemplo, la relación negra en el diagrama es de varios a varios, pero las rojas, verdes y azules no lo son.

Propiedades de unicidad y totalidad:

Una función^{[nota 4]}: Relación funcional y total. Por ejemplo, las relaciones roja y verde en el diagrama son funciones, pero las azules y negras no lo son.
Una inyección^{[nota 4]}: Una función que es inyectiva. Por ejemplo, la relación verde en el diagrama es una inyección, pero la roja, la azul y la negra no lo son.
Una sobreyección^{[nota 4]}: Una función que es sobreyectiva. Por ejemplo, la relación verde en el diagrama es una sobreyección, pero la roja, la azul y la negra no lo son.
Una biyección^{[nota 4]}: Una función que es inyectiva y sobreyectiva. Por ejemplo, la relación verde en el diagrama es una biyección, pero no así la roja, la azul ni la negra.

Operaciones con relaciones

Unión^{[nota 5]}: Si R y S son relaciones sobre X, entonces $R \cup S = {(x, y) | xRy o xSy$ } es la relación unión de R y S. El elemento de identidad de esta operación es la relación vacía. Por ejemplo, ≤ es la unión de < y =, y ≥ es la unión de > y =.

Intersección^{[nota 5]}: Si R y S son relaciones sobre X, entonces $R \cap S = {(x, y) | xRy y xSy$ } es la relación intersección de R y S. El elemento de identidad de esta operación es la relación universal. Por ejemplo, "es una carta inferior del mismo palo que" es la intersección de "es una carta inferior que" y "pertenece al mismo palo que".

Composición^{[nota 5]}: Si R y S son relaciones sobre X, entonces $S \circ R = {(x, z) | donde existe y \in X tal que xRy e ySz$ } (también indicado por $R; S$ ) es la relación composición de R y S. El elemento de identidad es la relación de identidad. El orden de R y S en la notación $S \circ R$ , utilizada aquí, concuerda con el orden de notación estándar para una función compuesta. Por ejemplo, la composición "es madre de" ∘ "es padre de" produce "es abuelo materno de", mientras que la composición "es madre de" ∘ "es madre de" produce "es abuela de". Para el primer caso, si x es el padre de y e y es la madre de z, entonces x es el abuelo materno de z.

Inversión^{[nota 5]}: Si R es una relación entre los conjuntos X e Y, entonces $R T = {(y, x) | xRy$ } es la relación inversa de R sobre Y y X. Por ejemplo, = es el recíproco de sí mismo, al igual que ≠, y la relación < y la relación > son recíprocas entre sí, al igual que ≤ y ≥.

Complemento^{[nota 5]}: Si R es una relación sobre X, entonces $R = {(x, y) | x, y \in X y no xRy$ } (expresión también denotada por R o $\neg R$ ) es la relación complementaria de R. Por ejemplo, = y ≠ son complementos entre sí, al igual que ⊆ y ⊈, ⊇ y ⊉, y ∈ y ∉, y, para un orden total, también < y ≥, y > y ≤. El complemento de la relación inversa $R T$ es el inverso del complemento: ${\overline {R^{\mathsf {T}}}}={\bar {R}}^{\mathsf {T}}.$

Restricción^{[nota 5]}: Si R es una relación sobre X y S es un subconjunto de X, entonces $R | S = {(x, y) | xRy y x, y \in S$ } es la relación restricción de R a S. La expresión $R | S = {(x, y) | xRy y x \in S$ } es la relación de restricción a la izquierda de R a S; la expresión $R | S = {(x, y) | xRy e y \in S$ } se llama relación de restricción por la derecha de R a S. Si una relación es reflexiva, irreflexiva, simétrica, antisimétrica, asimétrica, transitiva, total, tricotómica, parcialmente ordenada, totalmente ordenada, débil y estrictamente ordenada, totalmente preordenada (orden débil) o equivalente, entonces también lo son sus restricciones. Sin embargo, el cierre transitivo de una restricción es un subconjunto de la restricción del cierre transitivo, es decir, en general no es igual. Por ejemplo, restringir la relación "x es padre de y" a mujeres produce la relación "x es madre de la mujer y"; y su cierre transitivo no relaciona a una mujer con su abuela paterna. Por otro lado, el cierre transitivo de "es padre de" es "es antepasado de"; su restricción a las mujeres relaciona a una mujer con su abuela paterna.

Una relación R sobre los conjuntos X e Y se dice que está contenida en una relación S sobre X e Y, se escribe $R\subseteq S,$ si R es un subconjunto de S, es decir, para todo $x\in X$ e $y\in Y,$ si xRy, entonces xSy. Si R está contenida en S y S está contenida en R, entonces R y S se llaman iguales, lo que se escribe R = S. Si R está contenida en S pero S no está contenida en R, entonces se dice que R es más pequeña que S, escrito $R ⊊ S$ . Por ejemplo, en los números racionales, la relación > es menor que ≥ e igual a la composición $> \circ >$ .

Teoremas sobre relaciones

Una relación es asimétrica si, y solo si, es antisimétrica e irreflexiva.
Una relación transitiva es irreflexiva si, y solo si, es asimétrica.
Una relación es reflexiva si, y solo si, su complemento es irreflexivo.
Una relación es fuertemente conexa si, y solo si, es conexa y reflexiva.
Una relación es igual a su inversa si, y solo si, es simétrica.
Una relación es conexa si, y solo si, su complemento es antisimétrico.
Una relación es fuertemente conexa si, y solo si, su complemento es asimétrico.^[17]
Si la relación R está contenida en la relación S, entonces
- Si R es reflexiva, conexa, fuertemente conexa, total por la izquierda o total por la derecha, entonces también lo es S.
- Si S es irreflexiva, asimétrica, antisimétrica, única por la izquierda o única por la derecha, entonces también lo es R.
Una relación es reflexiva, irreflexiva, simétrica, asimétrica, antisimétrica, conexa, fuertemente conexa y transitiva si su recíproca lo es, respectivamente.

Ejemplos

Teoría del orden, incluidos conjuntos parcialmente ordenados:
- Desigualdad matemática
- Mayor qué o igual a
- Desigualdad matemática
- Menos que o igual a
- Divisibilidad (uniformemente)
- Subconjunto de
Relaciones de equivalencia:
- Igualdad
- Paralelo a (para los espacios afines)
- Estar en biyección con
- Isomorfismo
Relación de tolerancía, una relación reflexiva y simétrica:
- Relación de dependencia, una relación de tolerancia finita
- Relación de dependencia, el complemento de alguna relación de dependencia.
Parentescos

Generalizaciones

Artículo principal: Relación finita

El concepto anterior de relación se ha generalizado para admitir relaciones entre miembros de dos conjuntos diferentes. Dados los conjuntos X e Y, una relación binaria R sobre X e Y es un subconjunto formado por ${(x, y): x \in X, y \in Y}$ .^[1]^[18] Cuando $X = Y$ , se obtiene el concepto de relación descrito anteriormente; a menudo se le llama relación homogénea (o endorelación)^[19]^[20] para distinguirla de su generalización.

Las propiedades y operaciones anteriores marcadas como "^{[nota 4]}" y como"^{[nota 5]}", respectivamente, se generalizan a las relaciones heterogéneas.

Un ejemplo de relación heterogénea es "el océano x limita con el continente y". Los ejemplos más conocidos son las funciones^{[nota 6]} con distintos dominios y rangos, como sucede con la relación ${\text{raíz cuadrada}}:\mathbb {N} \rightarrow \mathbb {R} _{+}.$

Véase también

Estructura de incidencia, una relación heterogénea entre un conjunto de puntos y rectas
Teoría del orden, investiga las propiedades de las relaciones de orden.

Notas

↑ Llamada "relación binaria homogénea (en conjuntos)" cuando la delimitación de sus generalizaciones es importante.
↑ una generalización a los conjuntos
↑ Véase #Propiedades de las relaciones
↑ ^a ^b ^c ^d ^e ^f ^g ^h ⁱ ^j ^k ^l ^m Estas propiedades también se generalizan a relaciones heterogéneas.
↑ ^a ^b ^c ^d ^e ^f ^g Esta operación también se generaliza a relaciones heterogéneas.
↑ Esto es, relaciones heterogéneas únicas por la derecha y totales por la izquierda

Referencias

↑ ^a ^b ^c Codd, Edgar Frank (June 1970). «A Relational Model of Data for Large Shared Data Banks». Communications of the ACM 13 (6): 377-387. S2CID 207549016. doi:10.1145/362384.362685. Consultado el 29 de abril de 2020.
↑ Paul R. Halmos (1968). Naive Set Theory. Princeton: Nostrand. Chapter 14
↑ Halmos (1968), Chapter 7
↑ «Relation definition – Math Insight». mathinsight.org. Consultado el 11 de diciembre de 2019.
↑ Halmos (1968), Chapter 8
↑ ^a ^b Ernst Schröder (1895) Algebra und Logic der Relative, via Internet Archive
↑ ^a ^b Clarence Irving Lewis (1918) A Survey of Symbolic Logic , pages 269 to 279, via internet Archive
↑ ^a ^b Gunther Schmidt, 2010. Relational Mathematics. Cambridge University Press, ISBN 978-0-521-76268-7, Chapt. 5
↑ Enderton, 1977, Ch 3. pg. 40
↑ Smith, Douglas; Eggen, Maurice; St. Andre, Richard (2006), A Transition to Advanced Mathematics (6th edición), Brooks/Cole, p. 160, ISBN 0-534-39900-2 .
↑ Nievergelt, Yves (2002), Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography, Springer-Verlag, p. 158 ..
↑ Flaška, V.; Ježek, J.; Kepka, T.; Kortelainen, J. (2007). Transitive Closures of Binary Relations I. Prague: School of Mathematics – Physics Charles University. p. 1. Archivado desde el original el 2 de noviembre de 2013. Lemma 1.1 (iv). This source refers to asymmetric relations as "strictly antisymmetric".
↑ ^a ^b ^c
Kilp, Knauer and Mikhalev: p. 3. Las mismas cuatro definiciones aparecen a continuación:
- Peter J. Pahl; Rudolf Damrath (2001). Mathematical Foundations of Computational Engineering: A Handbook. Springer Science & Business Media. p. 506. ISBN 978-3-540-67995-0.
- Eike Best (1996). Semantics of Sequential and Parallel Programs. Prentice Hall. pp. 19-21. ISBN 978-0-13-460643-9.
- Robert-Christoph Riemann (1999). Modelling of Concurrent Systems: Structural and Semantical Methods in the High Level Petri Net Calculus. Herbert Utz Verlag. pp. 21-22. ISBN 978-3-89675-629-9.
↑ Mäs, Stephan (2007), «Reasoning on Spatial Semantic Integrity Constraints», Spatial Information Theory: 8th International Conference, COSIT 2007, Melbourne, Australia, September 19–23, 2007, Proceedings, Lecture Notes in Computer Science 4736, Springer, pp. 285-302, doi:10.1007/978-3-540-74788-8_18 .
↑ Yao, Y.Y.; Wong, S.K.M. (1995). «Generalization of rough sets using relationships between attribute values». Proceedings of the 2nd Annual Joint Conference on Information Sciences: 30-33. .
↑ Joseph G. Rosenstein, Linear orderings, Academic Press, 1982, ISBN 0-12-597680-1, p. 4
↑ Schmidt, Gunther; Ströhlein, Thomas (1993). Relations and Graphs: Discrete Mathematics for Computer Scientists. Berlin: Springer. ISBN 978-3-642-77970-1.
↑ Enderton, 1977, Ch 3. pg. 40
↑ M. E. Müller (2012). Relational Knowledge Discovery. Cambridge University Press. p. 22. ISBN 978-0-521-19021-3.
↑ Peter J. Pahl; Rudolf Damrath (2001). Mathematical Foundations of Computational Engineering: A Handbook. Springer Science & Business Media. p. 496. ISBN 978-3-540-67995-0.

Bibliografía

Codd, Edgar Frank (1990). The Relational Model for Database Management: Version 2. Boston: Addison-Wesley. ISBN 978-0201141924.
Enderton, Herbert (1977). Elements of Set Theory. Boston: Academic Press. ISBN 978-0-12-238440-0.
Kilp, Mati; Knauer, Ulrich; Mikhalev, Alexander (2000). Monoids, Acts and Categories: with Applications to Wreath Products and Graphs. Berlin: De Gruyter. ISBN 978-3-11-015248-7.
Peirce, Charles Sanders (1873). «Description of a Notation for the Logic of Relatives, Resulting from an Amplification of the Conceptions of Boole's Calculus of Logic». Memoirs of the American Academy of Arts and Sciences 9 (2): 317-178. Bibcode:1873MAAAS...9..317P. JSTOR 25058006. doi:10.2307/25058006. hdl:2027/hvd.32044019561034. Consultado el 5 de mayo de 2020.
Schmidt, Gunther (2010). Relational Mathematics. Cambridge: Cambridge University Press. ISBN 978-0-521-76268-7.

Datos: Q107223533

[9] Llamada "relación binaria homogénea (en conjuntos)" cuando la delimitación de sus generalizaciones es importante.

[10] una generalización a los conjuntos

[12] Véase #Propiedades de las relaciones

[heterogeneous-16] ↑ ^a ^b ^c ^d ^e ^f ^g ^h ⁱ ^j ^k ^l ^m Estas propiedades también se generalizan a relaciones heterogéneas.

[heterogeneous_operation-21] ↑ ^a ^b ^c ^d ^e ^f ^g Esta operación también se generaliza a relaciones heterogéneas.

[26] Esto es, relaciones heterogéneas únicas por la derecha y totales por la izquierda

[Codd1970-1] Codd, Edgar Frank (June 1970). «A Relational Model of Data for Large Shared Data Banks». Communications of the ACM 13 (6): 377-387. S2CID 207549016. doi:10.1145/362384.362685. Consultado el 29 de abril de 2020.

[2] Paul R. Halmos (1968). Naive Set Theory. Princeton: Nostrand. Chapter 14

[3] Halmos (1968), Chapter 7

[4] «Relation definition – Math Insight». mathinsight.org. Consultado el 11 de diciembre de 2019.

[5] Halmos (1968), Chapter 8

[Schroder.1895-6] Ernst Schröder (1895) Algebra und Logic der Relative, via Internet Archive

[Lewis.1918-7] Clarence Irving Lewis (1918) A Survey of Symbolic Logic , pages 269 to 279, via internet Archive

[gs-8] Gunther Schmidt, 2010. Relational Mathematics. Cambridge University Press, ISBN 978-0-521-76268-7, Chapt. 5

[11] Enderton, 1977, Ch 3. pg. 40

[13] Smith, Douglas; Eggen, Maurice; St. Andre, Richard (2006), A Transition to Advanced Mathematics (6th edición), Brooks/Cole, p. 160, ISBN 0-534-39900-2 .

[14] Nievergelt, Yves (2002), Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography, Springer-Verlag, p. 158 ..

[15] Flaška, V.; Ježek, J.; Kepka, T.; Kortelainen, J. (2007). Transitive Closures of Binary Relations I. Prague: School of Mathematics – Physics Charles University. p. 1. Archivado desde el original el 2 de noviembre de 2013. Lemma 1.1 (iv). This source refers to asymmetric relations as "strictly antisymmetric".

[kkm-17] Kilp, Knauer and Mikhalev: p. 3. Las mismas cuatro definiciones aparecen a continuación:
Peter J. Pahl; Rudolf Damrath (2001). Mathematical Foundations of Computational Engineering: A Handbook. Springer Science & Business Media. p. 506. ISBN 978-3-540-67995-0.

Eike Best (1996). Semantics of Sequential and Parallel Programs. Prentice Hall. pp. 19-21. ISBN 978-0-13-460643-9.

Robert-Christoph Riemann (1999). Modelling of Concurrent Systems: Structural and Semantical Methods in the High Level Petri Net Calculus. Herbert Utz Verlag. pp. 21-22. ISBN 978-3-89675-629-9.

[20] Peter J. Pahl; Rudolf Damrath (2001). Mathematical Foundations of Computational Engineering: A Handbook. Springer Science & Business Media. p. 506. ISBN 978-3-540-67995-0.

[21] Eike Best (1996). Semantics of Sequential and Parallel Programs. Prentice Hall. pp. 19-21. ISBN 978-0-13-460643-9.

[22] Robert-Christoph Riemann (1999). Modelling of Concurrent Systems: Structural and Semantical Methods in the High Level Petri Net Calculus. Herbert Utz Verlag. pp. 21-22. ISBN 978-3-89675-629-9.

[18] Mäs, Stephan (2007), «Reasoning on Spatial Semantic Integrity Constraints», Spatial Information Theory: 8th International Conference, COSIT 2007, Melbourne, Australia, September 19–23, 2007, Proceedings, Lecture Notes in Computer Science 4736, Springer, pp. 285-302, doi:10.1007/978-3-540-74788-8_18 .

[19] Yao, Y.Y.; Wong, S.K.M. (1995). «Generalization of rough sets using relationships between attribute values». Proceedings of the 2nd Annual Joint Conference on Information Sciences: 30-33. .

[20] Joseph G. Rosenstein, Linear orderings, Academic Press, 1982, ISBN 0-12-597680-1, p. 4

[Schmidt.Strohlein.1993-22] Schmidt, Gunther; Ströhlein, Thomas (1993). Relations and Graphs: Discrete Mathematics for Computer Scientists. Berlin: Springer. ISBN 978-3-642-77970-1.

[23] Enderton, 1977, Ch 3. pg. 40

[Müller2012-24] M. E. Müller (2012). Relational Knowledge Discovery. Cambridge University Press. p. 22. ISBN 978-0-521-19021-3.

[PahlDamrath2001-p496-25] Peter J. Pahl; Rudolf Damrath (2001). Mathematical Foundations of Computational Engineering: A Handbook. Springer Science & Business Media. p. 496. ISBN 978-3-540-67995-0.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[nota 1]

[nota 2]

[9]

[nota 3]

[10]

[11]

[12]

[nota 4]

[13]

[14]

[15]

[16]

[nota 5]

[17]

[18]

[19]

[20]

[nota 6]

Relación matemática