Borel measurability
A function is said to be Borel measurable provided its domain
is a Borel set and for each
, the set
is a Borel set.
Borel set
A Borel set is any set in a topological space that can be formed from open sets through the operations of countable union, countable intersection, and relative complement.