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 =L called bottom and =L (called top).

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