Assertion: set | /r/HasProperty | the borel sets
Facets:
Source sentences:
text: The sets that are obtained in a countable number of steps by starting from the basic open sets and applying the operations of taking the complement and forming a countable union of previously obtained sets are the Borel sets.