Orbific definitions