Abstract
The generalized Jacobian is used to examine various first order approximations to nonsmooth mappings between Banach spaces. As an application, we survey and extend various recently derived sufficient conditions for the metric regularity of(possibly infinite) systems of nonsmooth inequalities.