extensionality - German English Dictionary