Filtered probability space
= Filtered probability space
{title2=$(\Omega,\mathcal F,(\mathcal F_t),\mathbb P)$}
A filtered probability space is a <probability space> together with an increasing family of <sigma-algebras> $\mathcal F_t\subseteq\mathcal F$ describing the information available by time $t$.