Group generated by involutions

Symbol-free definition
A group is said to be generated by involutions if it has a generating set all whose elements are involutions (elements of order two).

Typical examples are triangle groups, and various reflection groups.

Stronger properties

 * Weaker than::Triangle group
 * Weaker than::Real special orthogonal group: This is the content of the Cartan-Dieudonne theorem
 * Weaker than::Finitary symmetric group, in particular the symmetric group on a finite set.
 * Weaker than::Finite simple non-Abelian group

Weaker properties

 * Stronger than::Square-in-derived group