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