集合的概念运算性质有哪些