Пара ( X , F ) {\displaystyle (X,{\mathcal {F}})} называется измеримым пространством, если X {\displaystyle X} суть произовльное множество, а F {\displaystyle {\mathcal {F}}} - сигма-алгебра его подмножеств.