σ-Algebra Lab