In mathematics, -induction (epsilon-induction) is a variant of transfinite induction that 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:
The name is most often pronounced "epsilon-induction", because the set membership symbol historically developed from the Greek letter .
|This set theory-related article is a stub. You can help Wikipedia by expanding it.|