已知集合A={a1,a2……ak}(k≥2) 对于任意的a∈A 总有-a ∈A则集合A具有性质P 由A中的元素构成一个相