быть начальником" является отношением порядка.

Пример 4

. Рассмотрим на множестве предшествует сотруднику

• 
• 

Назовем такое отношение "быть начальником". Легко проверить, что отношение " быть начальником" является отношением порядка. Заметим, что в отличие от предыдущего примера, существуют такие пары сотрудников , для которых не выполняется ни (например, если являются сослуживцами). Такие отношения, в которых есть несравнимые между собой элементы, называют отношениями частичного порядка.

Пример 4

. Для тех же отношений , что и в предыдущем примере вычитание имеет вид: