Involutions

Involutions(R) returns the list of involutions of R. A relation g is called an involution if [0, g] is a closed subset.