>>231
正田もそう言っているし
俺も実際に確かめたが
H_1H_2⊆G
に対して写像が定義できなかった

ここでは写像と部分集合は同義なのでH_1H_2はGの部分集合とは限らない
という結論に至る