Definition:Discrete Time Filtered Probability Space