In weak foundations

For all practical purposes, CompLatComp Lat is not available in predicative mathematics. The definition goes through, but we cannot prove that CompLatComp Lat has any infinite objects. (More precisely, the power class of a nontrivial small complete lattice must also be small.) Generally speaking, predicative mathematics treats infinite complete lattices only as large objects.

In impredicative constructive mathematics, it no longer holds that the free complete lattice on a set with at most 22 elements equals the free lattice on that set. In particular, the free complete lattice on the empty set is the set of truth values, while the free lattice on the empty set is the set {⊥,⊤}\{\bot, \top\} of decidable truth values. (I'm not sure whether the free complete lattice on 11 or 22 elements is even small.)

In predicative constructive mathematics, even the free complete lattice on the empty set is a proper class.