Denotamos por O(n+1)/O(n) al correspondiente conjunto cociente con la topología inducida por la función η : O(n + 1) → O(n + 1)/O(n) tal que η(σ) = σO(n) (la clase de equivalencia de σ).