Product σ-algebra