Construct sigma-algebras, measurable functions, probability measures, and product spaces to give infinite and continuous models a rigorous foundation.
