Complete Lattice

An Poset ( P , ≤ ) 𝑃 (P,\leq) is a complete lattice if it has all infinitary Meets and Joins.