Abstract:
In the present paper commutative abelian binary algebras are studied by applying the construction of the algebra of semiterms. We have found the necessary condition when any hyperidentity (i.e. $\forall(\forall)$-identity) is satisfied in all abelian commutative binary algebras.