Let be a manifold and be a function , where:
- denotes the time parameter, and varies in
- denotes the spatial parameter, and varies in
In other words, is a trajectory (or path) in the space of all functions from to .
Then, is said to be max-reducing if the function:
is a monotone decreasing function.
The corresponding notion is of a min-increasing trajectory -- viz a trajectory where the minimum (or infimum) keeps increasing.