My point is that is isn't just a function, but a measurable one (with weak restriction on the measure space it has as domain) so we can't call it just "function" as you were suggesting.
The actual name might be debatable, but a shortened name rather than the full definition definitely makes sense here. Random variable seems like a good choice of name to me, thinking about the intuition we're formalizing with it.
The actual name might be debatable, but a shortened name rather than the full definition definitely makes sense here. Random variable seems like a good choice of name to me, thinking about the intuition we're formalizing with it.