1) Assumption 2) Condition 3) Logic in computer science 4) Must 5) Premise 6) Premiss 7) Qualification 8) Requirement 9) Stipulation 10) To condition in advance 1) Presumption 2) Provision 3) Proviso 
In computer programming, a precondition is a condition or predicate that must always be true just prior to the execution of some section of code or before an operation in a formal specification. If a precondition is violated, the effect of the section of code becomes undefined and thus may or may not carry out its intended work. Security problems ...
• (n.) A previous or antecedent condition; a preliminary condition.
Pre`con·di'tion noun A previous or antecedent condition; a preliminary condition. 
Environmental and state conditions that must be fulfilled before the component or system can be executed with a particular test or test procedure....
[n] - a condition that is a prerequisite 2. [v] - put into the required condition beforehand
precondition 1. Something that must come before or is necessary to a subsequent result; a condition: 'There was a precondition which must be met before a promotion can take place.' 2. To subject (a person or thing) to a special treatment in preparation for a subsequent experience, process, test, etc.: 'He had to precondition the surface before star...
stipulation noun an assumption on which rests the validity or effect of something else noun a condition that is a prerequisite
something that must come before or is necessary to a subsequent result; condition: a precondition for a promotion.