Saturation and the integration of Banach valued correspondences

This note illustrates that the saturation property of a probability space can be used to routinely generalize results on the integration of Banach valued correspondences over a Loeb measure space to those over an arbitrary saturated probability space. On the other hand, the saturation property is also necessary for the validity of those results when the target space is infinite dimensional.