`必要不充分条件`