Un orbifold (topológico) "O", es un espacio topológico "X" de Hausdorff con base numerable, llamado el espacio subyacente, con una estructura de orbifold, que es definida por el atlas de orbifold (véase abajo).