אנגלית ⇄ גרמנית +

extensional operator
.בינה	extensionaler auf den Begriffsumfang bezogener Operator