伊藤では
σ加法族、σ-algebra、ボレル集合体という用語が登場し、
σ加法族 ⊇ σ-algebra = ボレル集合
になってますが、それでいいんでしょか？
σ加法族 = σ-algebra = σ集合体　⊇ボレル集合
であって、ボレル集合はある集合uを含む最小のσ集合体だと思ってたんですが。