for V being ComplexLinearSpace
for M being non empty Subset of V holds 0c * M = {(0. V)}