text: Порядок выполнения умножения несущественен: 2 ) ∀ A , B , C ∈ G : A ⋅ ( B ⋅ C ) = ( A ⋅ B ) ⋅ C = A ⋅ B ⋅ C ; {\displaystyle 2)~~~\forall A,B,C\in G:~~~A\cdot (B\cdot C)=(A\cdot B)\cdot C=A\cdot B\cdot C;} Существование единичного элемента.