all hyperarithmetical subsets of ω and relations on ω belong to formula_9 (where formula_10 stands for the church–kleene ordinal), and conversely any subset of ω that belongs to formula_9 is hyperarithmetical.