集合間の関係を表す記号
また、部分集合の否定を表す場合には、「⊄」あるいは「⊅」を用いる。
Aの部分集合がBとならない(Bの集合の中にAに含まれない要素がある)場合
A ⊅ B あるいは B ⊄ A
のようにあらわす。