In set theory, a subset of a Polish space is ∞-Borel if itcan be obtained by starting with the open subsets of , and transfinitely iterating the operations of complementation and wellordered union. Note that the set of ∞-Borel sets may not actually be closed under wellordered union; see below.