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

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

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