Submulțime

De la Wikipedia, enciclopedia liberă
Jump to navigation Jump to search
Diagramă Venn- 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 incluziune[modificare | modificare sursă]

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

  • și

Vezi și[modificare | modificare sursă]