Bukan himpunan bagian dari

⊄ berarti A bukan himpunan bagian dari B: setidaknya ada satu anggota A yang tidak ada di B. Ini adalah notasi formal untuk hubungan antara dua himpunan utuh.

Simbol teks

Juga disebut: nsub
Cari sebagai: bukan himpunan bagian · inklusi himpunan
Muncul di: Kolom teks apa pun · bentuknya bergantung pada fon yang digunakan

Apa arti ⊄

A memiliki anggota yang tidak ada di B. Dalam notasi inklusi himpunan, A ⊄ B berarti tidak semua anggota A termasuk dalam B.

Notasi ini berkembang bertahap. Gergonne menggunakan C untuk menyatakan ketercakupan pada 1816–17; Schröder memperkenalkan tanda inklusi pada 1890; buku teori himpunan kelompok Bourbaki dari 1939 memakai tanda terkait yang berarti “bukan anggota dari”. Ini adalah tonggak notasi yang berdekatan, bukan bukti tentang satu penemu ⊄.

Unicode 18.0 mencatat bahwa font dapat menggambar garis negasi secara vertikal atau miring; sudutnya mengubah tampilan lambang, bukan hubungannya.

Notasi formal teori himpunan; jarang dipakai dalam percakapan.

⊄ membandingkan himpunan; ∉ membandingkan satu anggota dengan himpunan.