The Axiom of Regularity, also known as the Axiom of Foundation, is one of the axioms of set theory, specifically within the context of Zermelo-Fraenkel set theory (ZF). This axiom can be stated informally as follows: Every non-empty set \( A \) contains an element that is disjoint from \( A \).
New to topics? Read the docs here!