Treillis (ensemble ordonné)

Page d'aide sur l'homonymie Pour les articles homonymes, voir Treillis.
Le terme treillis provient de la forme du diagramme de Hasse associé à la relation d'ordre.

En mathématiques, un treillis[1] (en anglais : lattice) est une des structures algébriques utilisées en algèbre générale. C'est un ensemble partiellement ordonné dans lequel chaque paire d'éléments admet une borne supérieure et une borne inférieure. Un treillis peut être vu comme le treillis de Galois d'une relation binaire.

Il existe en réalité deux définitions équivalentes du treillis, une concernant la relation d'ordre citée précédemment, l'autre algébrique.

Dans d'autres langues