真群作用

如果對映是真對映，則稱 拓撲群 在 拓撲空間 上的群作用為真群作用

是真對映，即 緊集的逆像是緊集。

真作用必須在 的所有點上具有緊緻的迷向群。