My description of the power set is by definition allowing all to imply some