http://d.hatena.ne.jp/m-hiyama-memo/20100109/1263025526 で「Σコゥゼン σ-順序代数」てのを導入したが、あれは大事だ。すごく役に立つ。公理が： [ジョイン演算の保存]f(..., x∪y, ...) = f(..., x, ...)∪f(..., y, ...) [全射性（生成性）] ∪f(1, ...,1)…

制限型（restricted type）とか部分集合型（subset type）に対して、何の制限も受けてない（絞り込み条件となる論理式がtrue）型を何と呼ぶべきか。バルク型（bulk type）ってのはどうだろう？ ワインのバルク買いとかのイメージ。