Qual è, se esiste, una maniera formalmente corretta di esprimere un enunciato del tipo:
a = min(x+3, y-2)
ovvero, "a" è uguale al valore più piccolo fra x+3 e y-2.
Naturalmente x e y sono dati, non è quello il problema. Mi serve per la redazione di un documento di analisi e non devo fare riferimento a funzioni standard di linguaggi di programmazione o altro.