Теорема 5. Совокупность $\mathfrak{A}$ составляет группу тогда и только тогда, если имеет место:
$$\mathfrak{A}\cdot\mathfrak{A}=\mathfrak{A} $$