M∪N=M说明M这个集合大于或等于N这个集合.但是现在N真包含于M,说明N这个集合比M这个集合小.也就是前者是后者的推论吧.什么条件我说不清,但是意思是这样.