包含 $\Omega$ 离散骨架的最小次子拓扑

设 $p: \mathcal{E} \to \mathcal{S}$ 为一个预-cohesive 几何态射。我们证明包含 $p^*: \mathcal{S} \to \mathcal{E}$ 和 $p^!: \mathcal{S} \to \mathcal{E}$ 两个子类的最小次子拓扑存在，并且它与包含 $p^*2$ 的最小次子拓扑相同，其中 2 表示 $\mathcal{S}$ 的子对象分类器。