Discussion:Ensemble ordonné filtrant
Erreur dans le paragraphe «Lien avec les filtres»?[modifier le code]
Il me semble que pour former une base de filtre, il faut partir d'un ensemble ordonné filtrant à droite, et non à gauche (si on se refère à la définition de ces deux notions donnée plus haut. On peut me confirmer? David Olivier (discuter) 5 avril 2024 à 09:39 (CEST)