向序半群同时添加单位元和最大元

能否向序半群同时添加单位元和最大元是一个较复杂的open问题.证明了对序半群添加了一定的条件后,即可以对满足条件x,y∈S,x·y≤x,且x·y≤y的序半群同时添加单位元和最大元,从而部分地解决了这个问题.更多还原