Under what conditions can f have a local minimum in A?
Then X is a Banach algebra under convolution multiplication <under this norm>.
It follows that G is maximal under <for> the usual partial ordering of B.
Hence F is invariant under φ. [= φ-invariant]
the image of A under f = the f-image of A
The point x maps to ∞ under f.