Borel set
一方、この集合は閉集合なので、ボレル集合ではある。