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