Regularity requires positive probability only for well-defined measurable events in sigma-algebras.
This proposition has not been edited since the history system was added.