Conditionally complete lattice