for x being set
for V being RealLinearSpace
for L being Linear_Combination of V st L is convex holds
L . x <= 1