Functional relationship F between some input x and output y such that y=g(x) and g is Lipschitz in a neighbourhood of every x