Legyen adva egy H csoport, és annak egy T részhalmaza. A T részhalmaz akkor és csak akkor képe egy H-ba mutató csoporthomomorfizmusnak, ha részcsoport H-ban.