非空约束