theorem Th9: :: CONVEX1:9

for V being RealLinearSpace holds Up ((Omega). V) is convex