  The concept of a local infimum for an optimal control problem is introduced.
This definition extends that of an optimal process. For a~local infimum we
prove an existence theorem and derive necessary conditions that resemble some
family of "maximum principles". Examples are given to demostrate the
meaningfulness of the necessary conditions obtained in the present paper, which
extend and strengthen the classical results in this field.
