axiom of extensionality - Turc Anglais Dictionnaire