Talk:Generated σ-algebra