定理（ペティス）：測度空間(X,Σ,μ)上で定義され、バナッハ空間Bに値を取る関数f:X→Bが、ΣおよびB上のボレルσ-代数について（強）可測であるための必要十分条件は、それが弱可測かつほとんど確実に可分値であることである。
定理（Pettis）：一个函数f:X→B定义在在测度空间(X,Σ,μ)上在巴拿赫空间B中取值，它是（强）可测的（关于Σ上的波莱尔σ代数）当且仅当它是弱可测的且几乎必然可分值的。