:: deftheorem Def7 defines scalar-associative RLVECT_1:def 7 :
for IT being non empty RLSStruct holds
( IT is scalar-associative iff for a, b being Real
for v being VECTOR of IT holds (a * b) * v = a * (b * v) );