:: deftheorem Def4 defines scalar-associative CLVECT_1:def 4 :
for IT being non empty CLSStruct holds
( IT is scalar-associative iff for a, b being Complex
for v being VECTOR of IT holds (a * b) * v = a * (b * v) );