Axiom:Axiom of Extension

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

Also see

 * Definition:Set Equality
 * Definition:Equals