Epsilon歸納法

在數學中，$\in$歸納法（ε歸納法、Epsilon歸納法）是超限歸納法的變種，在集合論中，用以證明所有集合x皆滿足某性質P，即命題P[x]成立。${\boldsymbol {\in }}$歸納公理斷言對所有性質P，

若只要集合x的所有元素y皆滿足性質P就足以推出x滿足性質P，那麼所有x都滿足P。

用公式表達是這樣：

$\forall x\left(\forall y(y\in x\rightarrow P[y])\rightarrow P[x]\right)\rightarrow \forall x,P[x].$

此公理等價於策梅洛-弗蘭克爾集合論中的正則性公理，即斷言所有集合皆良基。