Borel set
ボレル集合族は最初に述べた意味で「生成的」に記述することができる。