设mn是两个非空集合,定义差集m-n