Let (\Omega, \mathcal{F}, P) be a probability space, and (E, \mathcal{E}) a measurable space.
The definition of a random element X with values in a Banach space B is typically understood to utilize the smallest \sigma-algebra on B for which every bounded linear functional is measurable.