Before revision: Extensionality of continuous functions A function between metric spaces is called strongly extensional if implies , which is classically just the contraposition of the function preserving equality.
After revision: Extensionality of functions A function between metric spaces is called strongly extensional if implies , which is classically just the contraposition of the function preserving equality.