:: deftheorem Def12 defines C_LinComb CONVEX4:def 12 :
for V being non empty CLSStruct
for b₂ being set holds
( b₂ = C_LinComb V iff for x being set holds
( x in b₂ iff x is C_Linear_Combination of V ) );