
Precondition
Conditional Necessity
The term implies that something else cannot start or happen unless the 'precondition' is met first. 
Often Formal
Commonly used in formal contexts such as contracts, rules, and technical plans. 
Implicit Hierarchy
It indicates a hierarchy of actions or events where the precondition is a fundamental first step. 