 Axiom of extensionality

The Axiom of Extensionality is a fundamental principle in set theory, specifically within the framework of Zermelo-Fraenkel set theory (ZF), which is one of the most common foundational systems for mathematics. The axiom states that two sets are considered to be equal if and only if they have the same elements.