Бинарное рефлексивное, иррефлексивное отношение и примеры с знаками неравенств

Рефлексивное отношение - это такое отношение, которое выполняется для каждого элемента по отношению к самому себе. Отношение равенства, например, будет рефлексивным - ведь для любой пары (а; а) верно, что а = а. Отношения же строгих неравенств все будут нерефлексивными (это наверное и является иррефлексивностью) - так как ни для какой пары (а; а) невозможно выполнение условий а > а или a < a.

Однако нестрогие неравенства, опять же, будут рефлексивными, ведь для любой пары (а; а) будет верным, что а = > a и а < = а.