Expressions avec extensionalité Axiome d'extensionalité, axiome fondamental de la théorie des ensembles, selon lequel deux ensembles contenant les mêmes éléments sont égaux. (Chaque ensemble est donc complètement déterminé et parfaitement défini par la donnée de ses éléments.)