若关系中的某一属性组的值能唯一地标识一个元组，而其真子集不能，则称该属性组为。