>>606は
∃f:X1→X2(同相)s.t. f(Y1)=Y2
でいいんですか?