La relación entre σ y τ definida como que στ ∈ O(n) es una relación de equivalencia en O(n+1) cuyas clases de equivalencias son los subconjuntos de la forma σO(n) (todos los productos de σ por un elemento de O(n)).