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

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

Корефлексивное отношение — бинарное отношение на множестве , такое, что всякие два элемента множества , находящихся в отношении (что пишут ещё как ), совпадают друг с другом [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