前提条件 (precondition)

前提条件 (precondition)