En pseudogruppe af transformationer af en glat manifold er en familie af diffeomorfismer af åbne delmængder af en manifold i , som er lukket under sammensætningen af kortlægninger, overgangen til en omvendt kortlægning og også begrænsningen og limningen af kortlægninger.
Pseudogruppen af transformationer af en manifold består af lokale transformationer, det vil sige par af formen , hvor er en åben delmængde i , og er en diffeomorfisme , og det antages, at
Ligesom en transformationsgruppe definerer en transformationspseudogruppe en ækvivalensrelation ; ækvivalensklasserne kaldes dens baner .
Pseudogruppen af transformationer af en manifold kaldes
Ved at ændre denne definition korrekt kan man definere en pseudogruppe af transformationer af et vilkårligt topologisk rum eller endda et vilkårligt sæt.