Absolute property（Remark VIII.3.17・Corollary VIII.3.18）
- Absolute property（Remark VIII.3.17・Corollary VIII.3.18） #Card
- 性質が absolute であることの定義と、コンパクト性がそれに該当する理由は。
収束 $\xi$ の部分集合の性質 $P(\xi)$ が absolute :⟺ $A\in P(\xi)$ かつ $\xi\vert_A=\tau\vert_A$（同じ部分収束）なら $A\in P(\tau)$。
Remark VIII.3.17: $\xi=\tau\vert_X$（$X\subset Y$）のとき $A\subset X$ について「$A$ が $\tau$-compact」⟺「$A$ が $\xi$-compact」（(IV.3.3) の $\lim_\xi\mathcal{U}=X\cap\lim_\tau\mathcal{U}$ から直接）。
Cor VIII.3.18: コンパクト性は absolute な性質。「どの周囲空間に埋め込んでも、部分空間としての位相さえ同じならコンパクト性は変わらない」— 周囲空間に依存しない内在的性質であることの正当化。次章以降でコンパクト集合を「周囲空間を気にせず」扱える根拠。