  We prove some fundamental properties of mu-differentiable functions. A new
notion of local minimizer and maximizer is introduced and several extremum
conditions are formulated using the language of nonstandard analysis.
