Compatibility of an ordering of higher level with a valuation pair for a commutative ring

• 交换环上高层序与赋值对的相容性