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

Рассмотрим срезы G и H, [math]G \setin H[/math].
Согласованный интервал [math]F = \{f \in H: \nexists g \in E\setminus H: g\rightarrow f\}[/math].

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