Let be a Topological space. We define the boldface Borel hierarchy, consisting of classes , and . A set is if it is open A set is if there are sets such that and is for some . A set is if is A set is if it is both and .