https://infosekolah.net/Axiom_of_power_set