Power_Set_is_Complete_Lattice