Proper noun
axiom of power set (set theory) The axiom that the power set of any set exists and is a valid set, which appears in the standard axiomatisation of set theory, ZFC.