Involution (source code)

= Involution
{wiki}

An involution is a group element $s$ satisfying $s^2=1$. Some conventions require $s\ne1$.