Banach space
Banach space-valued integral.