<Z2, + > is Abelian group