Изменения

Пусть $E$ — множество событий с полным порядком ($<$) в рамках каждого процесса.

{{Определение

|definition=

'''Срез''' $F$ — подмножество $E$ такое, что если $e < f \in F$, то $e \in F.

{{Определение

|definition=

'''Согласованный срез''' $G$ — подмножество $E такое, что <tex>\forall f \in E, \forall g \in G : f \rightarrow g \Rightarrow f \in G</tex>.

}}

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