for f, g being Function holds f +* g c= f \/ g