pseudogroup (group + pseudo-): An algebraic structure having elements that are homeomorphisms between subsets of a space