尺度 英語 構造 名義 nominal 単なる集合 順序 ordinal 順序構造 間隔 interval アフィン、凸（重心）構造 比例 ratio 乗法モノイドが作用する空間 モノイドや部分モノイドが作用するような集合。代数的構造と離散／連続の別は独立だと思うが混同されている…

総和可能族の類を用いた定式化：Mは0を持つ集合で、x:I→M は添字集合Iを持つ族。 0→M は総和可能 1→M は総和可能 x:I→Mが総和可能で、f:J→I が単射なら f;x は総和可能 x:I→M、g:I→K があって、xのf-1(i)への制限がすべてのiについて総和可能のとき： f*(x) …