Un espacio factor de una variedad a lo largo de una S-acción diferenciable sin puntos fijos lleva estructura de orbifold (este no es un caso particular del ejemplo principal).