$ 0 0 For the specialization order? You mean like the usual topology on $\mathbb{R}$ and the discrete topology on $\mathbb{R}$? 😉