定義
G を群とする。
Set を小さい集合（代数的整数論017の321）全体の圏とする。
Set における G-対象（過去スレpart5の75）X とは G-集合（過去スレpart5の77）に他ならない。
このとき標準射（過去スレpart5の75）f：G → Sym(X) を G-集合 X に付随する置換表現（>>267）という。