تعریف:
فرض کنید G یک گروه و X یک مجموعه باشد . در این صورت گویند G روی X عمل می کند هرگاه نگاشتی مانندgiflatex5CvarphiampspaceG5CtimesampspaceX5CrightarrowampspaceX وجود داشته باشد به طوری که با نوشتن giflatex5Cvarphi28ax29 به صورت giflatexa5Castampspacex ، به ازای هر giflatexx5CepsilonampspaceX و giflatexab5CepsilonampspaceG داشته باشیم :


1) giflatexa5Castampspace28b5Castampspacex2928ab295Castampspacex
2) giflatexe5Castampspacexx

نگاشت giflatex5Cvarphiرا عمل G روی X می نامند و می گویند X یک G- مجموعه است.

یکی از مهمترین مثالهای G- مجموعه ها ، عمل گروه G روی خودش با تزویج است که با giflatexa5Castampspacexaxa5E7B 17D تعریف می شود.