for M being non empty set
for V being ComplexNormSpace
for f being PartFunc of M,V
for x being Element of M st f is total holds
( (- f) /. x = - (f /. x) & ||.f.|| . x = ||.(f /. x).|| )