Treillis
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Définition
Un ensemble partiellement ordonné dans lequel chaque paire d'éléments admet une borne supérieure minimale (jointure) et une borne inférieure maximale (rencontre).
Treillis
- Mathematics & Logic -
Pure Mathematics Dictionary
Définition
Un treillis est un ensemble partiellement ordonné (L, ≤) dans lequel chaque paire d'éléments x, y possède une borne inférieure la plus grande (meet, notée x ∧ y) et une borne supérieure la plus petite (join, notée x ∨ y). Les opérations meet et join sont associatives, commutatives, idempotentes et satisfont aux lois d'absorption.