Definition of "extensionality"

extensionality