Borel set
A Borel set is said to have finite rank if it is in formula_1 for some finite ordinal formula_4; otherwise it has infinite rank.