Various functions around the power set (all the subsets of a given set)