Borel measurable function

Just a measureable function $f:\mathbb{R}\to \mathbb{R}$ where the sigma algebras considered are the 20231218115557-borel_sigma_algebra.

They are used alot since the Bores $\sigma$ -algebra is very nice to work with.