ボレル集合におけると同様に、任意のformula_64について、任意のformula_65集合はformula_66である。