Підмножина Y, яка не збігається з Y називається точною підмножиною (або правильною чи власною частиною множини) Y. Якщо X — точна підмножина Y, то цей факт записується як X ⊂ Y. Відношення «бути підмножиною» має назву включення. Варіанти позначень Існують дві системи позначень відношень включення: старіша система використовує символ "⊂" для позначення будь-якої підмножини, і символ "⊊" для позначення точної підмножини.