Borel set
位相空間 formula_9 のボレル集合のクラスは formula_9 の開集合を含む最小のσ加法族である。その意味するところは formula_9 のボレル集合は次を満たす最小の集まりということである：