Principle of Extensionality

The principle that two mathematical objects (sets, relations, functions) are identical exactly when they agree on their extensions: sets have the same members, functions give the same outputs for all inputs, relations hold of the same tuples.