Якщо X та Y — множини та будь-який елемент із X є також елементом із Y, то говорять, що:X є підмножиною (частиною) Y, позначення — X ⊆ Y;Y — надмножина (охоплююча множина) X, позначення — Y ⊇ X.Дві множини називаються рівними, якщо кожний елемент першої множини є елементом другої множини і, навпаки, кожний елемент другої множини є елементом першої множини. З наведеного означення рівності множин випливає, що в множині однакові елементи не розрізняються.