ettis定理或Pettis可测性定理。如果存在子集"N"⊆"X"有测度"μ"("N")=0使得"f"("X"\"N")⊆"B"是可分的，则函数f被称为几乎必然可分值的（或本性可分值的）。定理（Pettis）：一个函数"f":"X"→"B"定义在在测度空间("X",Σ,"μ")上在巴拿赫空间"B"中取值，它是（强）可测的（关于Σ上的波莱尔"σ"代数）当且仅当它是弱可测的且几乎必然可分值的。在"B"可分的情形下，由于可分巴拿赫空间的任何子集本身是可分的，所以可以取上述"N"为空集，由此可知当"B"可分时