noun
Definition: A principle in mathematics and logic stating that two functions or sets are considered equal if they have the same elements or produce the same results for the same inputs.
Example: According to the axiom of extensionality, two sets are equal if they contain exactly the same elements.