Those functions on arbitrary subsets of Image, which admit smooth extensions to Image, as well as those, which admit k-times differentiable extension having locally Lipschitzian derivatives, are characterized in terms of a simple boundedness condition on the difference quotients. In case of finite order differentiability also a continuous linear extension operator is constructed for the corresponding function spaces even for vector valued functions.