关系运算中，投影可以去掉重复的元组。