When defining abstract algebraic structures (like monoids, groups, etc...), are there some constraints on the shape of the axioms, for the structure to have good properties that we implictely use in many proofs (like behaving well with respect to morphisms and quotients)?

For instance, is the following axiom acceptable, in a structure equipped with a unary function $f$ and a binary operator $\circ$: $$\forall x, \text{ if }x\circ x=x\text{ then } f(x)=x.$$