Orbifold
Definición
Un orbifold es un espacio topológico (o un objeto con más estructura) modelado localmente por el cociente del espacio euclidiano R^n por la acción de un grupo finito; los atlas registran los grupos de isotropía locales de modo que los puntos singulares tienen estabilizadores finitos bien definidos.