Axiom Of Regularity Definition

noun

One of the axioms in axiomatic set theory , equivalent to the statement that every non-empty set contains a member that is disjoint from that set.

Wiktionary