for V being non empty CLSStruct
for M being empty Subset of V
for z being Complex holds z * M = {}