U／C的正确性检验中，要求每个数据类列必须有一个C，并至少有一个U属于__________。