Stone map of a distributive lattice
= Stone map of a distributive lattice
{c}
The Stone map sends an element $a$ of a <distributive lattice> to the <clopen up-set> $a^*=\{P:a\in P\}$ of its <Priestley dual space>. The <Stone prime filter theorem> makes this lattice homomorphism injective.