集合から論理へ：集合間の関係を表す命題

集合論の目次に「集合間関係を表す命題」についての下記項目追加。

集合間の包含関係⊂を表す命題 

集合間の一致＝を表す命題

普遍集合との一致を表す命題 

空集合との一致を表す命題 

互いに素を表す命題