在正整数集Z+上定义运算· ,x·y = min{x,y},1是运算的幺元.对么?