Material set theory Powerset Axiom The Powerset Axiom is a possible axiom of Material set theory asserting the existence of the powerset: zf where denotes subset, which is to say, for any set there exists a set of all its subsets , which by the Axiom of Extensionality is unique and we denote and call the powerset. tidy | en | sembr