Which condition defines the circumstances for a particular operation is valid?

• A. Postcondition
• B. Precondition
• C. Invariant
• D. None of the above