treillis – algèbre –

ALGEBRE

On dit qu’un ensemble ordonné est un treillis (ou un lattis, ou un ensemble réticulé) si toute partie à deux éléments de cet ensemble admet une borne inférieure et une borne supérieure.