集合元素的互异性是谁提出的