Imamo množico geometrijskih elementov. Poglejmo si, ali lahko to množico razdelimo na manjše množice.
Množica $\rm {K}$ je podmnožica množice $\rm {T}$. Vsi elementi množice $\rm {K}$ so tudi elementi množice $\rm{T}$. Znak za podmnožico je $\subset$. Trditev, množica $\rm {K}$ je podmnožica množice $\rm {T}$, zapišemo: $\rm{K} \subset \rm{T}$.
Imamo množico $\rm {B}=\{3,6,9\}$ s tremi elementi, ki so večkratniki števila $3$, in množico $\rm{C}=\{1,2,3,4,5,6,7,8,9\}$. Opazuj, kako narišemo prikaz z obkroževanjem.
Elementi množice $\rm {A}$ so soda števila, manjša od $9$, elementi množice $\rm{B}$ pa večkratniki števila $3$, manjši od $10$. Poglejmo si, kako narišemo da - ne prikaz.