Alt kümesi değildir

⊄, A’nın B’nin alt kümesi olmadığını belirtir: A’nın en az bir elemanı B’de yoktur. Bütün kümeler arasındaki ilişkiyi gösteren biçimsel bir küme gösterimidir.

Metin simgesi

Diğer adı: nsub
Şu şekilde arayın: küme içerilmesi
Şurada görünür: Metin alanları · görünümü kullanılan yazı tipine bağlıdır

⊄ ne anlama gelir

A’da B’de bulunmayan bir eleman vardır. Küme içerilmesi gösteriminde A ⊄ B, A’nın her elemanının B’de bulunmadığı anlamına gelir.

Gösterim zaman içinde gelişti. Gergonne, içerilmeyi belirtmek için 1816–17’de C kullandı; Schröder, 1890’da içerme işaretlerini tanıttı; Bourbaki grubunun 1939 tarihli küme teorisi kitabında “bir kümenin elemanı değildir” anlamında ilişkili bir işaret kullanıldı. Bunlar yakın gösterimlerin gelişimindeki dönüm noktalarıdır; ⊄ için bilinen tek bir mucidi göstermez.

Unicode 18.0, yazı tiplerinin olumsuzluk çizgisini dikey ya da eğik çizebileceğini belirtir; çizginin açısı glifin görünümünü değiştirir, ilişkiyi değil.

Küme teorisinin biçimsel gösterimi; gündelik konuşmada pek kullanılmaz.

⊄ kümeleri karşılaştırır; ∉ bir elemanla bir kümeyi karşılaştırır.