Ensemble Ordonné Filtrant
concept
un ensemble ordonné tel que pour toute paire d'éléments, il existe un élément qui est plus grand que chaque élément de la paire.
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Ensemble_ordonné_filtrant
Lien Wikidata : https://www.wikidata.org/wiki/Q1513048