A mathematical condition ensuring the inner optimization problem has a unique solution, often required by standard bilevel methods.