In the definition of a monoid firstly we should have associativity. What I wonder about is the definition of the identity element;
$\exists x \forall y\;\; x.y=y.x=y $
Which structure do we get if we change the order of quantifiers in the definition? That is;
$\forall y \exists x \;\; x.y=y.x=y $