📐 Proposition XV.2.3（$\mathcal{P}^\natural$ は quasi-uniformity $\mathcal{P}$ より細かい最も粗い uniformity）
- 📐 Proposition XV.2.3（$\mathcal{P}^\natural$ は quasi-uniformity $\mathcal{P}$ より細かい最も粗い uniformity） #Card
- quasi-uniformity から uniformity を作る最も経済的な方法は。uniformity 全体の順序構造は。
$\mathcal{P}$ が quasi-uniformity のとき $\mathcal{P}^\natural=\mathcal{P}\vee\mathcal{P}^-$ は uniformity（対称化しても quasi-uniformity 条件は sup で保たれ、構成から対称）。
Prop XV.2.3: $\mathcal{P}^\natural$ は $\mathcal{P}$ より細かい uniformity の中で最も粗いもの。
与えられた集合上の uniformity 全体は完備束をなす（cards/topology/quasi-uniformity・cards/topology/semi-uniformity の交わりとして、両方の完備束構造を継承）。