異質同型論
【いしつどうけいろん】
【ishitsudoukeiron】
同构