Корефлексивное отношение

Корефлексивное отношение — бинарное отношение ${\displaystyle R}$ на множестве ${\displaystyle X}$, такое, что всякие два элемента ${\displaystyle (a,b)}$ множества ${\displaystyle X}$, находящихся в отношении ${\displaystyle (a,b)\in R}$ (что пишут ещё как ${\displaystyle aRb}$), совпадают друг с другом ${\displaystyle a=b}$^[1].

Формально, бинарное отношение ${\displaystyle R}$ корефлексивно, если ${\displaystyle \forall a,b\in X(aRb\Rightarrow a=b)}$.

Бинарное отношение ${\displaystyle R}$ на множестве ${\displaystyle X}$ является корефлексивным тогда и только тогда, когда оно является подмножеством тождественного отношения ${\displaystyle id_{X}}$ на множестве ${\displaystyle X}$ (${\displaystyle id_{X}=\{(x,x)|x\in X\}}$), то есть ${\displaystyle R\subseteq id_{X}}$.

• Отношение «равно и нечётно» на множестве натуральных чисел: ${\displaystyle R=\{(1,1),(3,3),\ldots \}}$

• Рефлексивное отношение

Эта статья слишком короткая. Пожалуйста, дополните её ещё хотя бы несколькими предложениями и уберите это сообщение. Если статья останется недописанной, она может быть выставлена к удалению. Для указания на продолжающуюся работу над статьёй используйте шаблон {{subst:Редактирую}}. Администраторам и подводящим итоги: эта пометка оставлена 2014-05-25. Просьба очень короткие заготовки статей ранее чем через два дня после создания не удалять. (25 мая 2014)