欠測値のある変数formula_1と別の変数formula_2の欠測インジケーターformula_27との間の独立性を暗示するモデルでは、次の仮説を提示することができる。