Definition:Boolean Group

Theorem
Let $\struct {G, \circ}$ be a group.

Then $\struct {G, \circ}$ is a Boolean group all its elements, other than the identity, have order $2$.

Also see

 * Boolean Group is Abelian
 * Group Element is Self-Inverse iff Order 2