Equivalence of Definitions of Complete Lattice

Proof
Immediately apparent by definition of supremum and infimum.