postcondition
Computing term: a condition that must be true after a program or function executes. Often used in formal verification and design by contract.
Implement the function so that it satisfies the postcondition.
事後条件が成り立たない場合、バグの可能性がある。
If the postcondition does not hold, there may be a bug.