Measurable spaces and functions