Diagramă Euler reprezentând faptul că A este o submulțime a lui B

În matematică, mai exact în teoria mulțimilor, se spune că mulțimea B este submulțimea mulțimii A dacă B „este conținută” de A. Echivalent, putem scrie , citit B include A, sau B conține A. Relația dintre mulțimi stabilită de 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, ceea ce se scrie sau . Totuși, în literatură aceste simboluri se citesc la fel ca și , deci se preferă adesea să se folosească simbolurile mai explicite și și pentru incluziunea strictă.

Proprietăți ale relației de incluziuneModificare

Se consideră două mulțimi   incluse într-o mulțime universală   și se notează cu   complementarele acestora:   Există proprietățile:

  •   și  
  •  

Vezi șiModificare