	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.