An orbifold is a space locally modeled on a quotient of a manifold by a finite group, with compatible quotient charts.
It need not be a single global quotient. For a smooth complex variety 
with a smooth divisor 
, an order-
root orbifold has local chart 
normal to 
, with the cyclic group acting
on 
. Its fundamental
group is obtained from 
by requiring the meridian's 
th
power to be trivial.
