Borel set
位相空間 formula_1 に対し、formula_1 上のボレル集合全体の成す族（ボレル集合族）は完全加法族（σ-集合体）を成し、ボレル集合体 () あるいはボレル完全加法族 () と呼ばれる。formula_1 上のボレル集合体は、全ての開集合を含む最小の完全加法族である（全ての閉集合を含む最小の完全加法族でもある）。