Изменения

Рассмотрим Назовем пару срезов [[Срез, согласованный срез|срезы]] ''<tex>[G'' и '', H'']</tex>, <tex>G \subset H</tex>. Назовем эту пару , интервалом.<br>Интервал '''согласованный''', если <tex>\forall e, g: g \in G \cap land e \rightarrow g \Rightarrow e \in H</tex>.

Это значит, что нет сообщений через согласованный интервал в обратную сторону. Отсюда следует, что в согласованном интервале есть согласованный срез. Более того, в обратную сторону тоже верно.