===== Measurable numerical function =====
==== Set ====
| @#55CCEE: context     | @#55CCEE: $ \langle X,\Sigma_X\rangle\in \mathrm{MeasurableSpace}(X) $ |

| @#55EE55: postulate   | @#55EE55: $\mathcal M \equiv\mathrm{Measurable}(X,\overline{\mathbb R}) $ |

Where for $\mathbb R$ we choose the [[Borel subsets of the reals]].

==== Discussion ====
==== Parents ====
=== Subset of ===
[[Measurable function]]
=== Context ===
[[Borel subsets of the reals]]