
Корефлексивне відношення — бінарне відношення  на множині  таке, що будь-які два елементи  множини , що перебувають у відношенні  (що записують ще як ), збігаються .

Формально, бінарне відношення  корефлексивне, якщо .

Бінарне відношення  на множині  є корефлексивним тоді й лише тоді, коли воно є підмножиною тотожного відношення  на множині  (), тобто .

Приклади
* Відношення «рівне і непарне» на множині натуральних чисел: 

Див. також
* Рефлексивне відношення

Примітки

