Proposition 1.4.13. If $S$ is a poset, then the set $T(S)=\{U\subseteq S:U\text{ is a terminal segment of }S\}$ can be made into a Heyting algebra.