Precondition

**Semantic type:** Conceptual Entity

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

**Synonyms:** - Pre-condition