Axiom of Extensionality

Natural & Formal Sciences Dictionary
A foundational axiom of (standard) set theory stating that two sets are identical precisely when they have the same elements: for any sets A and B, A = B iff every x is a member of A exactly when x is a member of B.