Banach space
Banach space properties.