关于集合差的运算编程中集合差的运算法则是什么?