:: deftheorem Def15 defines scalar-associative VECTSP_1:def 15 :
for F being non empty doubleLoopStr
for IT being non empty ModuleStr over F holds
( IT is scalar-associative iff for x, y being Element of F
for v being Element of IT holds (x * y) * v = x * (y * v) );