In mathematics, the axiom of regularity (also known as the axiom of foundation) is an axiom of Zermelo-Fraenkel set theory that states that every non-empty set A contains an element that is disjoint from A. In first-order logic, the axiom reads:

The axiom of regularity together