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.
Aussi : ensemble filtrant, suite cofinale, cofinale
Catégories : concepts abstraits
Mots du lexique : ensemble nom commun, ordonné adjectif, filtrant adjectif