集合間の関係を表す命題

集合間の包含関係⊂を表す命題/集合間の一致＝を表す命題/普遍集合との一致を表す命題/空集合との一致を表す命題/互いに素を表す命題。メンテ完了。