G under * has an identity element: ∃ e ∈ G {\displaystyle \exists e\in G} such that ∀ g ∈ G a ∗ e = a = e ∗ a {\displaystyle \forall g\in Ga*e=a=e*a}
наяўнасць нейтральнага элемента: ∃ e ∈ G ∀ a ∈ G : ( e ∗ a = a ∗ e = a ) {\displaystyle \exists e\in G\quad \forall a\in G:(e*a=a*e=a)}