Borel measurable function

Just a measureable function where the sigma algebras considered are the [[20231218115557-borel_sigma_algebra|Borel algebra]].

They are used a lot since the Bores -algebra is very nice to work with.