定义 B.25 强约束资格

假设 . 那么 强约束资格Slater条件 定义为