Postcondition

**Semantic type:** Conceptual Entity

**Definition:** A fact that must always be true just after the execution of some section of code.

**Synonyms:** - Post-condition