Bagaimana dengan himpunan \(A = \{1, 2, 3\}\) dan \(B = \{1, 2, 3, 4\}\text{?}\) Jelas bahwa \(A \ne B\text{,}\) tetapi perhatikan bahwa setiap elemen \(A\) juga merupakan elemen \(B\text{.}\) Karena itu, kita mengatakan bahwa \(A\) merupakan himpunan bagian dari \(B\text{,}\) atau dalam simbol, \(A \subset B\) atau \(A \subseteq B\text{.}\) Kedua simbol tersebut dibaca “merupakan himpunan bagian dari.” Perbedaannya adalah bahwa terkadang kita ingin menyatakan bahwa \(A\) sama dengan atau merupakan himpunan bagian dari \(B\text{,}\) dan dalam kasus ini kita menggunakan \(\subseteq\text{.}\) Hal ini serupa dengan perbedaan antara \(\lt\) dan \(\le\text{.}\)