Priestley dual space

ID: priestley-dual-space

The Priestley dual space of a bounded distributive lattice consists of its prime filters, ordered by inclusion and topologized by the sets and their complements.

New to topics? Read the docs here!