Похоже, лыжи не едут... (вопрос: у кого?)
В книжке [Рубчинский А. А. Дискретные математические модели. Начальные понятия и стандартные задачи. - М.: Директ-Медиа, 2014] есть определение (стр. 226):
[Бинарное] отношение
называется
ациклическим, если для любого
. Далее (стр. 228) имеется еще одно определение: ациклическое и транзитивное бинарное отношение называется
частичным порядком.
Таким образом, всякое рефлексивное бинарное отношение
не является частичным порядком в определенном только что смысле, поскольку не является ациклическим (оно содержит пары
, следовательно, обратное отношение тоже содержит эти пары и их пересечение не пусто). Но, согласно общепринятому определению, частичным порядком называется рефлексивное транзитивное антисимметричное бинарное отношение. Следовательно, частичные порядки в общепринятом смысле не эквивалентны таковым в процитированной книжке.
Что тут не так?