Изменения

{{Определение

'''Срез''' $F$ — подмножество $E$ такое, что если $e < f \in F$, то $e \in F.

}}}

{{Определение

'''Согласованный срез''' $G$ — подмножество $E такое, что <tex>\forall f \in E, \forall g \in G : f \rightarrow g \Rightarrow f \in G</tex>.

}}