Some further consideration of quotient spaces leads to formal theory about orbifolds by fibre-product structure and groupoids , where a quotient mapping is isomorphic to covering morphism on orbifolds. Once the induced covering maps over quotient spaces is contructed following requirements for normal subgroup of deck transformation derived from the previous theorem, one can consider more complicated G-actions with normal subgroup series: