El ejemplo principal del espacio subyacente es un espacio cociente de una variedad bajo la acción de un grupo finito de difeomorfismos.