Subset ialah set yang semua nilai kandungannya terdapat dalam set yang lain. Sebagai contoh, set A = { x , y , z } {\displaystyle A=\{x,y,z\}} ialah subset kepada B = { x , y , z , 1 , 2 , 3 } {\displaystyle B=\{x,y,z,1,2,3\}} . Atau secara matematik, ia ditulis A ⊆ B {\displaystyle A\subseteq B} . Sama juga, B ⊇ A {\displaystyle B\supseteq A} , tetapi kali ini ia dibaca " B {\displaystyle B} ialah superset bagi A {\displaystyle A} " berbanding sebelumnya, " A {\displaystyle A} ialah subset bagi B {\displaystyle B} ".

Secara formal, A ⊆ B ↔ ∀ ( x ∈ A → x ∈ B ) {\displaystyle A\subseteq B\leftrightarrow \forall (x\in A\to x\in B)} , atau, dengan menggunakan set kuasa, A ⊆ B ↔ A ∈ P ( B ) {\displaystyle A\subseteq B\leftrightarrow A\in {\mathcal {P}}(B)} .

Konsep subset boleh digunakan untuk menentukan kesamaan set. Suatu set A adalah sama dengan suatu set B jika set A ialah subset B dan B ialah subset A. Dalam simbol,