距離 "d" により、"σ" は "σ" 上の同相写像である。