Lebesgue–Rokhlin probability space