在数学中, ∈ {displaystyle in } 皆满足某性质,即命题成立。 ∈ {displaystyle {boldsymbol {in }}} ,
若只要集合的所有元素皆满足性质就足以推出满足性质,那么所有都满足。
用公式表达是这样:
此公理等价于策梅洛-弗兰克尔集合论中的正则性公理,即断言所有集合皆良基。