Foundations: set theory proofs and properties, complements, power set, 2-4-25 part 2