filtered probability space