Рефлексивність

Матеріал з Вікіпедії — вільної енциклопедії.

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

\forall a \in X,\ a R a

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

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

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