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

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