for f being Function holds f is sup (dom f) -limited ;