Principe D'Extensionalité

Le principe selon lequel deux objets mathématiques (ensembles, relations, fonctions) sont identiques exactement lorsque leurs extensions coïncident : les ensembles ont les mêmes éléments, les fonctions donnent les mêmes valeurs pour tous les arguments, les relations valent pour les mêmes n-uplets.