for C being non empty set
for f being PartFunc of C,COMPLEX
for r being Complex holds |.(r (#) f).| = |.r.| (#) |.f.|