Template:Subgroup-to-subgroup functor

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