Axiom:Axiom of Extension

Axiom
The axiom of extension is the fundamental definition of the nature of a collection: it is completely determined by its elements.

Class Theory
The axiom of extension in the context of class theory has the same form:

Also see

 * Leibniz's Law for Sets


 * Definition:Set Equality
 * Definition:Equals