# postcondition

> French word · Noun · IPA \pɔst.kɔ̃.di.sjɔ̃\

## Definitions
1. Condition appliquée à la fin d’un calcul et permettant de valider le résultat d’une fonction mathématique.
2. En programmation, propriété attachée à une fonction et vérifiée à la fin de l’exécution de cette fonction.

## Source
Compiled from Wiktionary via kaikki.org (CC BY-SA). Data vintage: 2026-05-06.
Canonical page: https://plainspell.com/fr/word/postcondition