Корефлексивное отношение (Tkjyslytvnfuky kmukoyuny)
Перейти к навигации
Перейти к поиску
Корефлексивное отношение — бинарное отношение на множестве , такое, что всякие два элемента множества , находящихся в отношении (что пишут ещё как ), совпадают друг с другом [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 Архивная копия от 17 июня 2018 на Wayback Machine
Эта статья слишком короткая. |