Definition: Borel-messbare Funktion

Es seien zwei Grundräume.
Es sei eine -Algebra und die Borelsche -Algebra.
Es seien und die jeweiligen Messräume.

Wir bezeichnen die Abbildung als Borel-messbare Abbildung (oder einfach: -messbar), falls

Da , trifft das genau dann zu, wenn