Exercise 4, § 2

For there to exist on a set E a law of composition such that every permutation of E is an isomorphism of E onto itself under this law, it is necessary and sufficient that E have 0, 1 or 3 elements.