What defines the circumstances in which a particular operation is valid ?
A. Contradictions
B. Post-condition
C. Vagueness
D. None of the mentioned
Explanation: A precondition defines the circumstances in which a particular operation is valid.