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

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