Koreflexivní vztah

Koreflexivní relace je binární relace na množině , taková, že jakékoli dva prvky množiny , které jsou ve vztahu (který se také píše jako ), se vzájemně shodují [1] . $R$ $X$ $(a,b)$ $X$ $(a,b)\in R$ $aRb$ $a=b$

Formálně je binární relace koreflexivní, jestliže . $R$ $\forall a,b\in X(aRb\Rightarrow a=b)$

Binární relace na množině je koreflexivní právě tehdy, je-li podmnožinou relace identity na množině ( ), tj . $R$ $X$ $id_{X}$ $X$ $id_{X}=\{(x,x)|x\in X\}$ $R\subseteq id_{X}$

Příklady

Vztah „je stejný a lichý“ na množině přirozených čísel: ${\displaystyle R=\{(1,1),(3,3),\ldots \))$

Viz také

Reflexivní postoj

Poznámky

↑ Fonseca de Oliveira, JN, & Pereira Cunha Rodrigues, CDJ (2004). Transponování vztahů: Od funkcí Možná k tabulkám hash. In Matematika konstrukce programu (str. 337). URL: https://link.springer.com/chapter/10.1007%2F978-3-540-27764-4_18 Archivováno 17. června 2018 na Wayback Machine