Expressions avec finissant Section finissante d'un ensemble ordonné E, partie S de l'ensemble ordonné E, telle que, si s ∈ S et x≥s, alors x ∈ S, la relation d'ordre dans l'ensemble E étant notée ≥.