半环中赋值与序的相容性
반배중부치여서적상용성
Compatibility between orderings and valuations in commutative semiring