an assumption on which rests the validity or effect of something else 同义词:condition, stipulation,
put into the required condition beforehand
百科解释
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.