Priestley's representation theorem for distributive lattice