Срез, согласованный срез

Пусть E - система на основе событий (event-based system) с полным порядком ([math]\prec[/math]) в рамках каждого процесса. Тогда
Срез F - любое подмножество E такое, что [math]f \in F, e \prec f \Rightarrow e \in F[/math]

Согласованный срез G - любое подмножество E такое, что [math]\forall f \in E, \forall g \in G : f \rightarrow g \Rightarrow f \in G[/math].

Это означает, что не существует сообщения переданного "через" срез в обратную сторону, т.е не бывает такого, что событие отправки сообщения не вошло в согласованный срез, а принятия вошло (см. рисунок [math]m_1[/math] - несогласованный срез, [math]m_2[/math] - согласованный срез). Можем говорить о том, что согласованный срез показывает некий глобальный снимок нашей системы.