6.7.1 倍作用×がつねに定義されるとは限らない系
量の系（(Ｑ,＋),(Ｎ,＋,×),×），（(Ｑ′,＋),(Ｎ′,＋,×),×）で，（Ｑ,＋）と (Ｎ,＋,×) がそれぞれ (Ｑ′,＋) と（Ｎ′,＋,×）の部分であるようなものからは，系（(Ｑ,＋),(Ｎ′,＋,×),×）と（(Ｑ′,＋),(Ｎ,＋,×),×）が導かれる。このときには，《×がつねに定義されるとは限らない》という具合に事情が変わる。
例えば，量の系（(Ｑ1,＋),(
,＋,×),×）と（(Ｑ2,＋),(
,＋,×),×）から二つの系（(Ｑ1,＋),(,＋,×),×），（(Ｑ2,＋),(,＋,×),×）が導かれる。前者は“離散量における整数比の概念の導入"，後者は“単位を導入することによる，自己稠密量の離散量化”と，それぞれ読める。