group operating on a set

[ریاضیات] گروه عامل بر یک مجموعه