Extrema of a functional

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

J(f)≥J(g)

for every g∈U.