1. матем. тип функции, определенной на наборах с умножением, которое полностью изменяет заказ умножения

Источник: Wiktionary.org