A sima sokaság transzformációinak pszeudocsoportja egy ben található sokaság nyitott részhalmazainak difeomorfizmusainak családja , amely a leképezések összetétele, az inverz leképezésre való átmenet, valamint a leképezések korlátozása és ragasztása alatt zárt.
Egy sokaság transzformációinak pszeudocsoportja lokális transzformációkból áll, azaz olyan alakpárokból áll , ahol egy nyitott részhalmaz a -ben , és egy diffeomorfizmus , és feltételezzük, hogy
Csakúgy, mint egy transzformációs csoport, a transzformációs pszeudocsoport egy ekvivalencia relációt határoz meg ; az ekvivalencia osztályokat pályáinak nevezzük .
Egy sokaság transzformációinak pszeudocsoportját ún
Ezt a definíciót megfelelően módosítva definiálható egy tetszőleges topológiai tér vagy akár egy tetszőleges halmaz transzformációinak pszeudocsoportja.