Простым примером отношения порядка является
Пример 3
. Простым примером отношения порядка является отношение, задаваемое обычным неравенством
. Заметим, что для любых чисел
выполняется либо
, т.е. любые два числа сравнимы между собой. Такие отношения называются отношениями полного порядка.
Предикат данного отношения есть просто утверждение
Содержание раздела