设σ - 有限测度空间(X,S,μ)中，μ不恒等于零，X是一个群，而且σ - 环S和测度μ对于左转移都是不变的，由等式S(x,y)=(x,xy)确定的，X*X在它本身上的变换S是保测性变换，则(X,S,μ)是一个可测群。