# Complete Lattice

A *complete* *lattice* is a lattice for which every subset, possibly infinite, has a least upper bound and a greatest lower bound. In this case, we denote $\mathrm{\perp}=\sqcap L$ called *bottom* and $\mathrm{\top}=\bigsqcup L$ (called top).

[0] Julien Henry. Static Analysis by Abstract Interpretation and Decision Procedures. Software Engineering [cs.SE]. Université de Grenoble, 2014. English.