Изменения
Нет описания правки
'''Согласованный срез''' ''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> - согласованный срез). Можем говорить о том, что согласованный срез показывает некий глобальный снимок нашей системы.
[[Файл:Consistent.png|left]]
