:: deftheorem Def6 defines Linear_Combination RLVECT_2:def 6 :
for V being non empty addLoopStr
for A being Subset of V
for b₃ being Linear_Combination of V holds
( b₃ is Linear_Combination of A iff Carrier b₃ c= A );