Measurable Maps

Definition (Measurable Map)

Suppose and are measurable spaces. We say that a map is measurable (with respect to and ) if for all .

The composition of measurable maps is measurable.

It is sufficient to check measurability for a generator:

Suppose that and are measurable spaces, and that is a generator of . Then a map is measurable iff for every .