''Y''}. The Turing degree of X ⊕ Y is the least upper bound of the degrees of X and Y. Thus is a join-semilattice. The least upper bound of degrees a and b is denoted a ∪ b. It is known that is not a lattice, as there are pairs of degrees with no greatest lower bound.

For any set X the notation X′ denotes the set of indices