for C being non empty set
for V being RealNormSpace
for f being PartFunc of C,V holds
( ||.f.|| " {0} = f " {(0. V)} & (- f) " {(0. V)} = f " {(0. V)} )