Pre-conditions assert that a property holds before.

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