Sub- and quotient groups are related in the following way: a subset H of G can be seen as an injective map H → G, i