:: deftheorem defines LC_CLSpace CONVEX4:def 18 :
for V being non empty CLSStruct
for A being Subset of V
for b₃ being strict Subspace of LC_CLSpace V holds
( b₃ = LC_CLSpace A iff the carrier of b₃ = { l where l is C_Linear_Combination of A : verum } );