Let be a set with a sigma-algebra on it. Then is called a measurable space.