Epsilon induction ($\in$-induction)

The principle of epsilon induction says that every progressive class is universal: ifthen $\phi (x)$ holds for every set $x$. Over the other axioms of ZF, it is equivalent to the Axiom of foundation.