Comment by eru

Interesting! When I studied math (in Germany) we used the German equivalent of 'random variable' to describe the more generalised concept that English seems to call 'random element'.