Uniform isomorphism（Definition XV.3.3）
- Uniform isomorphism（Definition XV.3.3） #Card
- preuniformity 間の同型（uniform isomorphism）はどう定義されるか。
$\mathcal{P},\mathcal{R}$ を preuniformity とする。全単射 $f$ が uniform isomorphism :⟺ $f\in U(\mathcal{P},\mathcal{R})$ かつ $f^{-1}\in U(\mathcal{R},\mathcal{P})$（cards/topology/uniform-continuity が双方向）。
位相同型（homeomorphism）が「両方向の連続写像」であるのと同じ形の定義だが、一様連続性は位相的性質より真に強いので、uniform isomorphism は homeomorphism より真に強い同値関係を与える。