M是一个非空集合 验证M运算是封闭的