Up 「単位」を意味とする ｕ∈Ｑ の存在：
ｑ∈Ｑ がｕ × ｎ, ｎ∈Ｎ の形に一意表現される		 作成: 2011-01-12
更新: 2011-01-12

    「量」の概念には，「測定」が含意としてある。
    「測定」の意味の内容になるものは， つぎの条件である：
      ( ( Ｑ, ＋ ), ×, ( N, ＋, × ) ) においては，つぎの条件を満たす ｕ ∈ Q が存在する：
        任意の ｑ∈Ｑ に対し，ｑ ＝ ｕ × ｎ となる ｎ∈Ｎ が一意的に存在する。
    実際， ｕ が「単位」と呼ばれるものになる。