>>750
>とあるが、Mに何の条件も課されていないので、通常のブール代数で成り立つ、
xを実数とした時x<yであればxはy未満と定義する
に対して
yに何の条件も課されてないので通常の実数xで成り立つ
か