Pseudogroup
In mathematics, a pseudogroup is a set of homeomorphisms between open sets of a space, satisfying group-like and sheaf-like properties. It is a generalisation of the concept of a transformation group, originating however from the geometric approach of Sophus Lie to investigate symmetries of differential equations, rather than out of abstract algebra (such as quasigroup, for example).