In algebra, un reticulo[1] es un structura algebric con un relation de ordine. Relative a esser un structura algebric, in un reticulo il ha duo operationes associative e commutative tal que pro qualcunque elementos es ver e . Relative a haber un relation de ordine, pro duo elementos , il ha un supremo, alora un elemento le plus micre unicamente determinate, que es plus grande que o equal a e , e vice versa il ha un infimo, alora un elemento le plus grande unicamente determinate, que es minus grande que o equal a e .