G-集

设 为一个 群， 为一个 集合。那么 被称为左 -集，如果存在一个映射 使得

对于所有 和所有 。这通常写作 ，所以上述关系变为

映射 被称为在集合 上的左 -作用。

右 -集和右 -作用的定义是类似的，除了 的元素乘以 的元素是在右侧而不是左侧。左 -集和右 -集都简称为 -集。

-集是 群集 的一个例子，其中 是所讨论的群。