for f, g, h being Function of NAT,REAL st f negligibleEQ g & g negligibleEQ h holds
f negligibleEQ h