对U／C矩阵的正确性检验中，要求每个数据类列仅能有一个C属于( )。