定义集合运算A*B={x|x属于A,且x不属于B}