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

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

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