:: deftheorem Def1 defines C_Linear_Combination CONVEX4:def 1 :
for V being non empty 1-sorted
for b₂ being Element of Funcs ( the carrier of V,COMPLEX) holds
( b₂ is C_Linear_Combination of V iff ex T being finite Subset of V st
for v being Element of V st not v in T holds
b₂ . v = 0 );