  It is useful to also introduce the Δ̰1n sets. A set of (k-tuples of) reals is Δ̰1n iff it is both Σ̰1n and Π̰1n. In 1917, Suslin showed that the Borel sets are precisely the Δ̰11 sets. Thus, the projective hierarchy extends the Borel hierarchy. 