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

Корефлексивное отношение — бинарное отношение на множестве , такое, что всякие два элемента множества , находящихся в отношении (что пишут ещё как ), совпадают друг с другом [1].

Формально, бинарное отношение корефлексивно, если .

Бинарное отношение на множестве является корефлексивным тогда и только тогда, когда оно является подмножеством тождественного отношения на множестве (), то есть .

ПримерыПравить

  • Отношение «равно и нечётно» на множестве натуральных чисел:  

См. такжеПравить

ПримечанияПравить

  1. Fonseca de Oliveira, J. N., & Pereira Cunha Rodrigues, C. D. J. (2004). Transposing Relations: From Maybe Functions to Hash Tables. In Mathematics of Program Construction (p. 337). URL: https://link.springer.com/chapter/10.1007%2F978-3-540-27764-4_18