theorem :: GRFUNC_1:14

for f, g, h being Function st f c= h & g c= h holds
f \/ g is Function by Th1, XBOOLE_1:8;