semireticle

Conjunt ordenat en el qual, donats dos elements, sempre existeix el suprem (element que és el més petit major que els dos donats).

També és possible la definició dual, que exigeix l’existència d’un ínfim.