定義
X と Y を位相空間とし、f：X → Y を連続な全射写像とする。
f が次の条件(ID)を満たすとき f を同一視(identification)と呼ぶ。

(ID)：Y の部分集合 U が開集合であるためには f^(-1)(U) が
開集合であることが必要十分である。