partially ordered Banach space