定義
X を一様空間とする。
>>444 で構成した分離一様空間 Y を一様空間 X に伴う分離一様空間と
言う(過去スレ006の294を参照)。
ψ : X → Y をその標準射と言う。