初期の前提が展開であるため、部分論理式F{\displaystyleF}が内含されるのは、◻F{\displaystyle\BoxF}が初期の前提として真とされた場合のみである。
为了使初始假定是一个展开，一个子公式F{\displaystyleF}被蕴涵是必须的当且仅当◻F{\displaystyle\BoxF}已经被初始假定为真。