Relación coreflexiva

Una relación correflexiva es una relación binaria sobre el conjunto , tal que dos elementos cualesquiera del conjunto que están en relación (que también se escribe como ) coinciden entre sí [1] . $R$ $X$ $(a, b)$ $X$ ${\ estilo de visualización (a, b) \ en R}$ $aRb$ $a=b$

Formalmente, una relación binaria es correflexiva si . $R$ $\forall a,b\in X(aRb\Rightarrow a=b)$

Una relación binaria sobre un conjunto es correflexiva si y solo si es un subconjunto de la relación de identidad sobre un conjunto ( ), es decir . $R$ $X$ $id_{X}$ $X$ $id_{X}=\{(x,x)|x\en X\}$ $R\subseteq id_{X}$

Ejemplos

La relación "es igual e impar" sobre el conjunto de los números naturales: ${\displaystyle R=\{(1,1),(3,3),\ldots\))$

Véase también

Actitud reflexiva

Notas

↑ Fonseca de Oliveira, JN y Pereira Cunha Rodrigues, CDJ (2004). Transposición de relaciones: de funciones quizás a tablas hash. En Matemáticas de la Construcción de Programas (p. 337). URL: https://link.springer.com/chapter/10.1007%2F978-3-540-27764-4_18 Archivado el 17 de junio de 2018 en Wayback Machine .