Reticolo completo
un insieme parzialmente ordinato (S, _) è un reticolo completo
se _X _ S esistono lub(X) e glb(X)
- T denota lub(S) (massimo del reticolo)
- __denota glb(S) (minimo del reticolo)
se ogni sottoinsieme finito di X ha un limite superiore in X