Category:Power Set is Complete Lattice