.What defines the circumstances in which a particular operation is valid?

• A. contradictions
• B. post-condition
• C. vagueness
• D. none of the mentioned