Description: The right argument of a group action is a set. (Contributed by Mario Carneiro, 30-Apr-2015)