13.1.2 实例——差集运算