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