An orbifold is a quotient space of a manifold under the action of a discrete group of diffeomorphisms such that the stabilizer of any point is a finite group.

This article is a stub. You can help Wikipedia by fixing it.