En mathématiques, un ensemble ordonné filtrant est un ensemble ordonné (c`est-à-dire dans lequel on peut dire que certains éléments sont plus grands que d`autres) tel que pour toute paire d`éléments, il existe un élément qui est plus grand que chaque élément de la paire. Cela sous-ent...