 There are pairs of degrees \(\mathbf{a}\) and \(\mathbf{b}\) which do not possess a greatest lower bound. Thus although \(\mathcal{D}_T\) is an upper semi-lattice, it is not a lattice (Kleene &amp; Post 1954). The same is true of \(\mathcal{E}_T\) (Lachlan 1966).