定義的等号と命題的等号の区別が問題になるが、もっと問題なのは、宣言的所属関係と命題的所属関係だろう。宣言的＝合意形成的、命題的＝問題提示的所属的所属関係も $`\in`$ で書かれる。$`:`$ も使うが、宣言的所属関係を $`:`$ で書くと、圏論のコロンの…