The power set of a set is the set of all subsets of . The power set can be ordered to obtain a distributive lattice bounded by and the empty set. Applying set intersection and union (or meet and join) on the elements of the power set produces the lattice.