Subsets and power sets