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