Borel measurable function

Just a measureable function where the sigma algebras considered are the 20231218115557-borel_sigma_algebra.

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