>>344
不等号逆だ
XaXb = Xb (a<b)
X0が単位元
m=<xa | a>0>
が唯一の極大イデアル
SがMのgenerator ⇔ inf{ a | Xa∈S } = 0