Koreflexív reláció

A koreflexív reláció egy bináris reláció a halmazon , úgy, hogy a halmaz bármely két relációban lévő eleme ( amelyet nek is írunk ) egybeesik egymással [1] . $R$ $x$ $(a,b)$ $x$ $(a,b)\in R$ $aRb$ $a=b$

Formálisan egy bináris reláció korflexív, ha . $R$ $\forall a,b\in X(aRb\Rightarrow a=b)$

Egy halmazon lévő bináris reláció akkor és csak akkor korflexív, ha egy halmaz ( ) azonossági relációjának részhalmaza , azaz . $R$ $x$ $azonosító_{X}$ $x$ $id_{X}=\{(x,x)|x\in X\}$ $R\subseteq id_{X}$

Példák

Az "egyenlő és páratlan" összefüggés a természetes számok halmazán: ${\displaystyle R=\{(1,1),(3,3),\ldots \))$

Lásd még

Reflexív hozzáállás

Jegyzetek

↑ Fonseca de Oliveira, JN és Pereira Cunha Rodrigues, CDJ (2004). Relációk transzponálása: a Talán függvényektől a hash-táblázatokig. A programszerkesztés matematikájában (337. o.). URL: https://link.springer.com/chapter/10.1007%2F978-3-540-27764-4_18 Archiválva : 2018. június 17. a Wayback Machine -nél