同相写像と同相同値の定義