This result formalizes [comparison principle](/theorems/4870) for first-order hamilton-jacobi-bellman equations by giving precise hypotheses and conclusions for the controlled system under consideration. It is used to justify stability, existence, optimality, or numerical approximation arguments elsewhere in the control theory notes.