theorem :: CONVEX4:58

for V being ComplexLinearSpace holds Up ((Omega). V) is convex ;