theorem Th51: :: FUNCT_3:51

for f, g being Function holds rng <:f,g:> c= [:(rng f),(rng g):]