Корефлексивне відношення

Властивості бінарних відношень:

рефлексивність
антирефлексивність

симетричність
асиметричність

антисиметричність

транзитивність
антитранзитивність

повнота


Корефлексивне відношення — бінарне відношення на множині таке, що будь-які два елементи множини , що перебувають у відношенні (що записують ще як ), збігаються [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 [Архівовано 2018-06-17 у Wayback Machine.]