putem scrie {\displaystyle B\supseteq A}, citit B include A, sau B conține A. Relația dintre mulțimi stabilită de {\displaystyle \subseteq } se numește incluziune sau conținere.
Dacă A este o submulțime a lui B, dar nu este egală cu B, atunci A se numește submulțime proprie a lui B.Realatia dintre multimi stabilita se numeste incluziune sau continere
Proprietăți ale relației de incluziuneSe consideră două mulțimi și se notează cu A si B incluse intr o multime U(universala) si se noteaza cu A` si B`complementele acestora:A`=U/A,B`=U/B
avem proprietatile:
A=B⇔A⊆B si B⊆A
A⊆B⇔B`⊆A`
