Gruppe

$\mathrm{\forall }a,b,c\in H:a\ast (b\ast c)=(a\ast b)\ast c$

$\mathrm{\exists }e\in H\mathrm{\forall }a\in H:a\ast e=e\ast a=a$

$\mathrm{\forall }a\in H\mathrm{\exists }{a}^{-1}\in H:a\ast a^{-1}=e$

$\mathrm{\forall }a,b\in H:a\ast b\in H$