Meintest du:

_extensionally_ _extensionality _extensional_ _extensional