- Në formulën e fundit F(x) paraget një funksion gjykimesh me variablen x, kurse A bashkësinë e elementeve të atilla që kur cilido prej tyre zëvendësohet në F(x) e shndërron atë në gjykim të saktë.
- Me formulën a
 A përcaktohet se a është element i bashkësisë A ( a i përket bashkësisë A) dhe quhet relacion i përkatshmërisë. Negacioni i këtij relacioni shënohet : b A ose  (bA). Bashkësia që nuk e përmban asnjë element quhet bashkësi e zbrazët (vakante) dhe shënohet me simbolin  . P.sh. bashkësia e zgjidhjeve të ekuacionit x2 + 1  0 në fushën e numrave realë është bashkësi e zbrazët. Në matematikë rëndom shqyrtohen bashkësitë elementet e të cilave janë objekte matematikore. Bashkësitë që kanë për objekte (elemente) numra të ndryshëm quhen bashkësi numerike. Bashkësitë më të rëndësishme numerike janë:
- (1) Bashkësia e numrave natyralë :
 { 1, 2, 3, . . . , n, n + 1, . . . } ;
- (2) Bashkësia e numrave të plotë :
 { . . . , - 2, -1, 0,1, 2, . . . } ;
- (3) Bashkësia e numrave racionalë :
   p, q :
- (4) Bashkësia e numrave realë :
 {x- < x < + } ;
- (5) Bashkësia e numrave kompleksë :
 {x+iyx, y, i } ;
- (6) Bashkësia e numrave çiftë (parë) :
 {n n  n 2} ;
- (7) Bashkësia e numrave tekë (cupë) :
 {nn n 2}.
- P ë r k u f i z i m i 2.1.1. - Bashkësia A quhet nënbashkësi e bashkësisë B, nëse çdo element i bashkësisë A është njëherit element edhe i bashkësisë B (fig. 1.1.), pra:
A B ( xA):xA xB, (...7)
- ku simboli lexohet: sipas përkufzimit atëherë dhe vetëm atëherë.
- Formula AB quhet relacioni i inkluzionit ose i përfshirjes, simboli është shenja e atij relacioni. Sinonim i relacionit AB është A
 B, ku B është mbibashkësi e bashkësisë A.
- Nga përkufizimi 2.1.1. dalin këto dy inkluzione:
A A dhe A (...8)
- për çdo bashkësi A .
- Kur AA dhe
 xB ashtu që xA, thuhet se A është nënbashkësi (pjesë) e vërtetë e bashkësisë B dhe shënohet A B. Negacioni i këtij relacioni shënohet A B. P.sh.: , , , , , {a,b,c} {a,b,d,e,f}.
|
