Definition:Filtered Probability Space

Also known as
A filtered probability space may be known as simply a filtered space.