Антикоммутативность
Бинарная операция, определенная в кольце, в котором выполняется тождество
красноярского края