En topología, orbifold (Orbidad u orbivariedad) es generalización de variedad diferenciable, consistente en un espacio topológico (llamado espacio subyacente) con una estructura de "orbifold" (véase abajo).