的变种。其在集合论中用以证明所有集合满足一定的性质"P"["x"]。如果集合"x"的所有元素满足"P"可以推出"x"满足"P"，那么所有"x"都满足"P"。用公式表达是这样：这一原则有时也称为（集合论的）归纳公理，等价于策梅洛-弗兰克尔集合论中的正则性公理。ε归纳法也可看作是良基关系的特例。