Which leads to a funny fact that if all elements of the set S satisfy proposition P it doesn’t necessarily imply that some elements of the set S satisfy proposition P.
My description of the power set is by definition allowing all to imply some
My description of the power set is by definition allowing all to imply some