Частичный порядок

Частичный порядок – транзитивное рефлексивное антисимметричное отношение.

Введем частичный порядок предшествования на событиях, как транзитивное замыкание следующих правил:

• Посылка сообщений предшествует его приему.
• События, принадлежащие одному потоку, естественным образом упорядочены.