First, we will introduce the notion of relative computability, use this to define the structure ${\mathcal D}$ of Turing degrees, and proceed to prove a few structural results about ${\mathcal D}$.