История изменений
Исправление quasimoto, (текущая версия) :
ЩИТО
Всё верно, что тебе не нравится?
http://en.wikipedia.org/wiki/Relation_(mathematics)#Special_types_of_binary_r...
A function: a relation that is functional and left-total.
Функция это такой частный случай многозначной функции (left-total relation) когда значений ровно одно (functional relation).
Но многозначная функция (более общее понятие) это не функция (более специальное), как моноид это не группа.
Ну и
Исходная версия quasimoto, :
ЩИТО
Всё верно, что тебе не нравится?
http://en.wikipedia.org/wiki/Relation_(mathematics)#Special_types_of_binary_r...
A function: a relation that is functional and left-total.
Функция это такой частный случай многозначной функции (left-total relation) когда значений ровно одно (funcational relation).
Но многозначная функция (более общее понятие) это не функция (более специальное), как моноид это не группа.
Ну и