正则公理是集合论的ZF公理系统中的一条公理。它的表述为：“对任意非空集合x，至少有一 y∈x使x∩y为空集。”可以叙述为所有非空集合 A 中至少有一个这样的元素x ， 它与A 本身的交集为空集。