特に問題なのが、C があるかないかで変わる部分。C…

特に問題なのが、C があるかないかで変わる部分。C がある場合「有座⊂無座⊃無立」と推移的でないのが、Cがない場合「有座＝無座⊃無立」で「有座⊃無立」とできる。ここから何か言えないか…と思うんだが…。
JRF 2008年12月26日