\(A \subset B\) menyatakan bahwa \(A\) merupakan himpunan bagian sejati dari \(B\): Setiap elemen \(A\) juga merupakan elemen \(B\text{,}\) tetapi \(A \ne B\text{.}\)