Template:Element-to-subgroup functor

This article defines a particular kind of map (functor) from a set of elements in the group to a set of subgroups