Esta condición y los axiomas para un grupo implican que ρ("g") es una biyección (permutación) para todo "g" en "G".