Conceptul de mulime este unul de baz n matematic.

Toate obiectele matematice se reduc n

ultim instan la acest concept.
Dac x este element al mulimii A spunem c x aparine lui A i notm

nseamn

c x nu aparine lui A.

Primul matematician care a iniiat studiul sistematic al mulimilor a fost Georg Cantor (teoria naiv a
mulimilor).
Definiia 1. Dac A i B sunt dou mulimi, vom spune c A este inclus n B (sau
c A este submulime a lui B) dac elementele lui A sunt i elemente ale lui B; n acest caz vom
scrie

iar n caz contrar

Avem deci
pentru orice
exist

a..

Vom spune despre mulimile A i B c sunt egale dac oricare ar f x,

Deci,

Vom spune c A este inclus strict n B i vom scrie

dac

Se accept existena unei mulimi ce nu conine niciun element care se noteaz prin
numele de mulimea vid. Se observ c pentru orice mulime A,
ar trebui s existe

a..

i poart

(deoarece n caz contrar

- absurd!)

O mulime diferit de mulimea vid se zice nevid. Pentru o mulime T, vom nota prin
mulimea submulimilor sale (evident

).

Urmtorul rezultat este imediat:

Dac T este o mulime oarecare iar

atunci:

(i)
(ii) Dac

atunci

(iii) Dac

atunci

n continuare vom utiliza deseori noiunea de familie de elemente a unei mulimi indexat de o
mulime nevid de indici I (prin aceasta nelegnd o funcie defnit pe mulimea I cu valori n
mulimea respectiv).
Astfel, vom scrie de exemplu
sau

pentru a desemna o familie de elemente ale unei mulimi

pentru a desemna o familie de mulimi indexat de mulimea I. Pentru o

mulime T i

defnim:
i
sau
i

Dac
Operaiile
n particular,

mulimile A i B se zic disjuncte.

i

poart numele de intersecie, reuniune, diferen i diferen simetric.

se noteaz prin

(sau

numele de complementara lui A n T.

n mod evident, pentru

avem:

iar

dac nu este pericol de confuzie) i poart

De asemenea, pentru

avem:
sau
i
sau

Din cele de mai nainte deducem imediat c dac

atunci:

Aceste dou ultime egaliti sunt cunoscute sub numele de relaiile lui De Morgan.
Pentru o familie nevid

de submulimi ale lui T defnim:

i
a..
Astfel relaiile lui De Morgan sunt adevrate ntr-un context mai general:
Dac

este o familie de submulimi ale mulimii T, atunci:

Urmtorul rezultat este imediat

Propoziia 2. Dac T este o mulime, iar

atunci:
i

(i)
i

(ii)
(iii)

(iv)

Observaia 1. 1. Din (i) deducem c operaiile

sunt asociative, din (ii) deducem c ambele

sunt comutative, din (iii) deducem c T i

iar din (iv) deducem c

sunt elementele neutre pentru

i respectiv pentru

sunt operaii idempotente pe

2. Prin dubl incluziune se probeaz imediat c pentru oricare

avem:

i
,
adic operaiile de intersecie i reuniune sunt distributive una fa de cealalt.
Propoziia 3. Dac

atunci:

(i)
(ii)
iar

(iii)
(iv)

Demonstraie. (i). Prin dubl incluziune se arat imediat c:

(ii), (iii) sunt evidente.

(iv). Se probeaz fe prin dubl incluziune, fe innd cont de distributivitatea interseciei fa de
reuniune. QED.
Definiia 2. Fiind date dou obiecte x i y, se numete pereche ordonat a
obiectelor x i y mulimea notat

i defnit astfel:

Se verifc acum imediat c dac x i y sunt dou obiecte a..

dac
i

sunt dou perechi ordonate, atunci

n particular,

Definiia 3. Dac A i B sunt dou mulimi, mulimea notat

i

se va numi produsul cartezian al mulimilor A i B.

n mod evident:
i
sau

atunci

iar

i
Dac A, B, C sunt trei mulimi, vom defni produsul lor cartezian prin
egalitatea:

Elementul

din

l vom

nota mai simplu prin

Mai general, dac

sunt mulimi, punem:

Dac A este o mulime fnit, vom nota prin

numrul de elemente ale lui A. n mod evident,

dac A i B sunt submulimi fnite ale unei mulimi M, atunci i

este o submulime fnit a

lui M iar

Vom prezenta n continuare un rezultat mai general cunoscut sub numele de principiul includerii i al
excluderii:
Propoziia 4. Fie M o mulime fnit iar

submulimi ale lui M. Atunci:

Demonstraie. Facem inducie matematic dup n. Pentru

la

ceea ce este evident. Pentru

egalitatea din enun se reduce

trebuie demonstrat egalitatea:

(1)
care de asemenea este adevrat, deoarece elementele din

apar att la

ct i

la
Presupunem egalitatea din enun adevrat pentru oricare m submulimi ale lui M cu
o demonstrm pentru n submulimi

Dac notm

(2)

atunci conform relaiei (1) putem scrie:

i s

ns

deci aplicnd ipoteza de inducie

pentru

i innd seama de faptul c:

etc,
obinem
(3)

Aplicnd ipoteza de inducie i pentru

obinem:

(4)

astfel c innd cont de (3) i (4) relaia (2) devine:

Conform principiului induciei matematice, egalitatea din enun este adevrat pentru orice numr
natural nnenul. QED.