A holomorphic pseudogroup Γ on C consists of a collection of biholomorphisms between open sets "U" and "V" in C which contains the identity maps for each open "U", which is closed under restricting to opens, which is closed under composition (when possible), which is closed under taking inverses and such that if a biholomorphisms is locally in Γ, then it too is in Γ.