Borel set
実数直線上のボレル集合体 formula_22 は、formula_21 内の任意の区間を含む最小の完全加法族である。