![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/b/b0/Venn_A_subset_B.svg/langro-640px-Venn_A_subset_B.svg.png&w=640&q=50)
Submulțime
set ale cărui elemente aparțin toate altui set / From Wikipedia, the free encyclopedia
Î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, se poate scrie , citit B include A, sau B conține A. Relația dintre mulțimi stabilită de
se numește incluziune sau conținere. Algebra submulțimilor constituie o structură de algebră booleană relativ la incluziune.
Acest articol sau această secțiune are bibliografia incompletă sau inexistentă. Puteți contribui prin adăugarea de referințe în vederea susținerii bibliografice a afirmațiilor pe care le conține. |
![](http://upload.wikimedia.org/wikipedia/commons/thumb/b/b0/Venn_A_subset_B.svg/220px-Venn_A_subset_B.svg.png)
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ă.[necesită citare] Incluziunea strictă este o relație nereflexivă.