Post-conditions assert that a property hold after.

• 特性所持有的条件后断言。