Definitions
1.NounThe principle that objects are equal if and only if their observed properties are the same, regardless of internal processes that lead to those properties.
2.NounThe principle that functions are equal if and only if they operate on the same domain and for any given element of the domain the result of each of the functions is the same.
3.NounThe principle, codified in the axiom of extensionality, that sets are equal if and only if they contain the same elements.