Отображение некоторого множества на другое множество, инвариантное относительно действия группы на это множество.