Definition:Boolean Group

Theorem
Let $\left({G, \circ}\right)$ be a group.

Then $\left({G, \circ}\right)$ 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