📐 (VIII.1.10)–(VIII.1.12)（始収束・終収束の adherence 公式）
- 📐 (VIII.1.10)–(VIII.1.12)（始収束・終収束の adherence 公式） #Card
- $f^-\tau$・$f\xi$ に関する族 adherence の公式（第VI章の principal 版の一般化）は。
（$\mathcal{H},\mathcal{G}$ は isotone な族）
$$\operatorname{adh}{f^-\tau} \mathcal{H} = f^-(\operatorname{adh}\tau f[\mathcal{H}]) \tag{VIII.1.10}$$ $$\operatorname{adh}{f\xi} \mathcal{G} = \ker\mathcal{G} \cup f(\operatorname{adh}\xi f^-[\mathcal{G}]) \tag{VIII.1.11}$$
$f$ が全射なら (VIII.1.11) は簡潔になる: $$\operatorname{adh}{f\xi} \mathcal{G} = f(\operatorname{adh}\xi f^-[\mathcal{G}]) \tag{VIII.1.12}$$
(VI.4.1)・(VI.4.2)（principal adherence 版、$\mathcal{H}={H}$ の場合）の族への一般化。積・商・埋め込みの adherence 計算を統一的に扱う道具。