(1) 條件或模式的存在系統、 元件或類比可能的 ；例如，飛行的飛機導航程式或輸入的狀態給 channel.~(2) 假定在給定時刻所定義的系統、 元件或類比特徵的變數的值。