付値(ふち、)とは、体''K''と順序加群''G''に対して、以下の3条件を満たすのことである.
付値(ふち、)とは、体''K''と順序加群