Ух ты, а что же тогда это, если не операция? Вроде очень даже похоже - отображение из M x M в M, где каждому элементу из декартова произведения соответствует одно значение из M (Обратное, разумеется, в общем случае неверно).
Википедия, видимо,
тоже заблуждается, вместе c
Вольфрамом.
Единственное но - над полем вещественных чисел не выполняется критерий всюдуопределенности (и это уже бинарное алгебраическое действие), но, например, над полем комплексных или множеством натуральных чисел все хорошо. Да и это не так страшно - можно взять M = R+.