水xモルがf(x)リットルになるとする。fはf(0)＝0を満たす単調増加関数としてよい。
演算＊：[0,∞)^2→Rをx＊y＝f(f^(-1)(x)＋f^(-1)(y)) と定義すれば、
・水に水を「加える」
という操作は演算「＊」で記述できる。