64
правки
Изменения
Нет описания правки
[[Категория: Параллельное программирование]]
Назовем пару срезов [[Срез, согласованный срез|срезы]] <tex>[G, H]</tex>, <tex>G \subset H</tex>, интервалом.<br>
Интервал '''согласованный''', если <tex>\forall e, g : g \in G \land e \rightarrow g \Rightarrow e \in H</tex>.
Это значит, что нет сообщений через согласованный интервал в обратную сторону. Отсюда следует, что в согласованном интервале есть согласованный срез. Более того, в обратную сторону тоже верно.
