Define measurable sets and functions, build the Lebesgue integral, and apply convergence theorems and product measures.
