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