デクスター・コゥゼンの "A Complete Gentzen-style Axiomatization for Set Constraints" とか読んで思ったこと。「Σコゥゼン σ-順序代数」という概念を考えた。Σ-kozen σ-ordered algebra, あるいは、Σ-kozen ordered σ-algebra かな。コゥゼンの termset …