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

В математиці, бінарне відношення R на множині X є рефлексивним якщо для всіх a з X виконується:

$\forall a\in X,\ aRa$

Наприклад, відношення, "більше або дорівнює" є рефлексивним, а відношення "більше" - ні.

Приклади рефлексивних відношень:

• "дорівнює" (=)
• "є підмножиною"
• "менше або дорівнює" та "більше або дорівнює"