アルゴリズム的ランダムな無限列
構成可能なヌル被覆(マルティンレーフ1966): これはマルティンレーフによる元の定義である。二進有限列wに対して、Cwでwから作られるシリンダーを表すことにする。これはwで始まる無限列の集合であり、カントール空間における基本開集合である。wから作られるシリンダーの積測度 μ ( C w ) {\displaystyle \mu (C_{w})} は 2 − | w | {\displaystyle 2^{-|w|}} で定義される。カントール空間上のすべての開集合は可算個の互いに素な基本開集合の列の和で書け、開集合の測度はその基本開集合の列の測度の和となる。構成可能な開集合は開集合で帰納的可算な二進有限列の列で定めされる基本開集合の列の和で書けるものを言う。構成可能なヌル被覆または構成可能な測度0の集合とは構成可能な開集合の帰納的可算な列 U i {\displaystyle U_{i}} ですべてのiに対して U i + 1 ⊆ U i {\displaystyle U_{i+1}\subseteq U_{i}} かつ μ U i ≤ 2 − i {\displaystyle \mu U_{i}\leq 2^{-i}} となるものを言う。すべての構成可能なヌル被覆は測度0の G δ {\displaystyle G_{\delta }} 集合である U i {\displaystyle U_{i}} の積集合を決める。