平面上の任意の二点に対して、その二つの点からの距離の和が一定である点の集合を楕円と言う
f:X→Yが同窓写像とはfが全単車でf、f^(-1)がともに連続。
XとYが同窓とはf:X→Y:同窓写像となるfが存在
これでいいでしょか?