Discuter:Treillis (ensemble ordonné)
Un article de Wikipédia, l'encyclopédie libre.
Visiblement, d'après Structure algébrique, un treillis admet une définition en termes de structure algébrique (en considérant les opérations borne supérieure et borne inférieure comme des lois internes).
Ce serait intéressant que quelqu'un qui connaisse bien cette caractérisation d'un treillis développe ce point de vue dans l'article Treillis (ensemble ordonné).
--Ąļḋøø 27 nov 2004 à 18:01 (CET)
Autre remarque : est-il utile de définir un treillis par un quadruplet (E, ⋁, ∧, ≤), alors que ≤ se déduit de ⋁ et ∧ (obtenir l'ordre à partir de la structure algébrique) et réciproquement (on déduit la structure algébrique de l'ordre) ?
--Ąļḋøø 27 nov 2004 à 18:05 (CET)
Est il pertinent que les exemples soient placés avant les cas particuliers ? Ces derniers indiquent ce qu'est un treillis complet, donc implicitement ce que signifie incomplet, utilisé plus haut dans les exemples.
Une algèbre qui est un treillis distributif borné et avec complement est une algèbre de Boole. Il serait peut être intéressant de définir ces termes (borné, avec complément) et de lier l'information avec l'algèbre de Boole ?
Blustuff 31 mars 2007 à 15:04 (CEST)
