Axiom. power
set M → set (power M)