This theorem identifies [uniform integrability](/page/Uniform%20Integrability) as the exact condition for relative weak compactness in L1 over a finite [measure space](/page/Measure%20Space). It is the fundamental compactness criterion at the non-reflexive L1 endpoint.