标签：M函数依赖于N，并且M不函数依赖于任何N的任何真子集