Definition:Filtered Probability Space/Continuous Time

Definition
Let $\struct {\Omega, \Sigma, \Pr}$ be a probability space.

Let $\sequence {\mathcal F_t}_{t \ge 0}$ be a continuous-time filtration of $\Sigma$.

We say that $\struct {\Omega, \Sigma, \sequence {\mathcal F_t}_{t \ge 0}, \Pr}$ is a filtered probability space.