for V being ComplexLinearSpace
for L being C_Linear_Combination of V
for v being VECTOR of V st L is convex & ex r being Real st
( r = L . v & r <= 0 ) holds
not v in Carrier L