集合間の関係を表す記号

集合間の関係を表す記号には、集合と集合の関係を表す記号や集合と要素の関係を表す記号がある。
集合間の関係は数論における等差関係とは異なり、数論における不等号(<)とは異なる記号が用いられる。
集合と集合の関係を表す記号.
部分集合.
部分集合の関係を表す場合には「⊆」あるいは「⊇」を用いる。日本の高校数学では「⊂」「⊃」を使うこととなっている。
Aの部分集合がBである場合
のようにあらわす。
部分集合の否定.
また、部分集合の否定を表す場合には、「⊄」あるいは「⊅」を用いる。
Aの部分集合がBとならない（Bの集合の中にAに含まれない要素がある）場合
のようにあらわす。
真部分集合.
真部分集合の関係を表す場合には「⊂」と「⊃」。日本の高校数学のごとく部分集合に「⊂」を使う流儀の場合、「⊊」と「⊋」を真部分集合に用いることがある（ただし前述の高校数学において真部分集合に対応する記号は存在しない）。
Aの真部分集合がBである場合
のようにあらわす。
集合と要素の関係を表す記号.
集合の要素を表す場合には「∈」あるいは「∋」を用いる。
Aの集合の要素がaである場合
のようにあらわす。
また、集合の要素の否定を表す場合には「∉」を用い
のようにあらわす。