for C being non empty set
for r, p being Real
for V being non empty scalar-associative RLSStruct
for f being PartFunc of C,V holds (r * p) (#) f = r (#) (p (#) f)