postcondition (N) — condition (N)
postcondition : Condition appliquée à la fin d'un calcul et permettant de valider le résultat d'une fonction mathématique.