:: deftheorem defines * CONVEX4:def 22 :
for V being non empty CLSStruct
for M being Subset of V
for r being Complex holds r * M = { (r * v) where v is Element of V : v in M } ;