Un conjunto "X" se dice que soporta una representación conjuntista o representación por permutación de un grupo "G" si hay una función, ρ de "G" a "X", el conjunto de las funciones de "X" a "X" tales que para "g", "g" en "G", y "x" en "X"