Commutative abelian algebras

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.