判断集合是否存在效率