Source: wikibot/axiom-of-regularity

= Axiom of regularity
{wiki=Axiom_of_regularity}

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 \\).