section commençante
Also known as upset, upward closed set
sous-ensemble d'un ensemble préordonné incluant tous les successeurs de ses éléments
Article · Français
En mathématiques, et plus précisément en théorie des ordres, une section commençante (également appelée segment initial ou sous-ensemble fermé inférieurement) d'un ensemble ordonné (X,≤) est un sous-ensemble S de X tel que si x est dans S et si y ≤ x, alors y est dans S. Dualement, on appelle section finissante (ou sous-ensemble fermé supérieurement) un sous-ensemble F tel que si x est dans F et si x ≤ y, alors y est dans F.
Abstract from DBpedia / Wikipedia · CC BY-SA