G-Set

Let $G$ be a Group. A $G$-set is a pair of a H-Set $X$ and a Group Action $\alpha:G\to X\to X$.