Definition (to be confirmed) Given a functional J defined on a space of functions Ω (Banach space?), an extrema is a function f∈Ω such that there exist a neighbourhood U of f such that
for every g∈U.