Smoothness of functions with respect to a set

In this note we consider the properties of functions which are smooth with respect to congruent sets. We find necessary and sufficient conditions which these congruent sets must satisfy in order that asymptotic differentiability, together with the smoothness relative to a set, will imply ordinary differentiability almost everywhere. We consider the case of measurable and continuous functions.