power_set_lattice