The Harmony and Compatibility of Valuations with Higher Level Orderings on A Module

• 模上的实赋值与高层序的相容性