部分集合、集合間の＝を表す命題

集合から論理へに、

• 集合間の包含関係⊂を表す命題
• 集合間の一致＝を表す命題
• 普遍集合との一致を表す命題
• 空集合との一致を表す命題

を追加。