"бинарная операцие - обобщение сложения, умножения, ... " - это не так! бинарная операция - абстрактное понятие алгебры, убрал эту строчку.
