Согласованный интервал

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

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