Epsilon-induction

In mathematics, ε-induction (epsilon-induction) is a variant of transfinite induction, which can be used in set theory to prove that all sets satisfy a given property P(x). If the truth of the property for x follows from its truth for all elements of x, for every set x, then the property is true of all sets. In symbols:

Failed to parse (Missing texvc executable; please see math/README to configure.): \forall x (\forall y (y \in x \rightarrow P(y)) \rightarrow P(x)) \rightarrow \forall x P(x)

This principle is equivalent to the axiom of regularity. It can be converted into a transfinite induction on the rank of the set x.

The name is most often pronounced "epsilon-induction", because the set membership symbol Failed to parse (Missing texvc executable; please see math/README to configure.): \in

historically developed from the Greek letter Failed to parse (Missing texvc executable; please see math/README to configure.): \varepsilon 

.