MBTモデルにおいて、すべての状態で常に真でなければならない条件はどれか。

システムの安全性を保証するために、どの状態においても維持されるべき論理制約である。