前提条件 (precondition)