- P ë r k u f i z i m i 2.1.2. - Bashkësia e pjesëve të bashkësisë A quhet bashkësia e të gjitha nënbashkësive të bashkësisë A, pra :
![](//upload.wikimedia.org/wikibooks/sq/e/e4/N%C3%ABnbashk%C3%ABsia_AB.PNG) Fig. 1.1.
|
P(A) {X X A} . (...9)
- Në bazë të këtij përkufizimi mund të konkludohet se bashkësia dhe elementi janë koncepte relative - A mund të konsiderohet si bashkësi të elementeve të caktuara A
{x F(x)} , por edhe si element i bashkësisë së caktuar A P(A) .
- Nëse bashkësia A është e fundme [1] dhe ka n elemente, atëherë bashkësia P(A) ka
![{\displaystyle \sum _{k=0}^{n}{n \choose k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a6dc3707f482190787e2dae43f1eb7d0c8be09e0) 2n elemente.
- P ë r k u f i z i m i 2.1.3. - Dy bashkësi A, B janë të barabarta atëherë dhe vetëm atëherë, kur A
B dhe B A , pra :
A B A B B A. (...10)
- Për shembull: {a, b, c}
{b, a, c}.
2.2. VEPRIMET ME BASHKËSI
- P ë r k u f i z i m i 2.2.1. - Prerja e bashkësive A. B quhet bashkësia e të gjitha e1ementeve të përbashkëta të bashkëswe A, B (fig. 1.2.), pra :
![](//upload.wikimedia.org/wikibooks/sq/a/ac/Prerja_e_bashk%C3%ABsive_AB.PNG) Fig. 1.2.
|
A B {x x A x B} . (...11)
- Simboli
(lexo: prerja ose itersekston) është shenja e veprimit të prerjes (interseksiont).
- P.sh. : {1,3,4,6}
{2, 3, 5, 6, 8} { 3, 6 } .
- Në bazë të përkutizimit 2.2.1 . del se A
![{\displaystyle \scriptstyle {\cap }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6842be52e3b5706a46859f4903f0201c92ac49c7) ![{\displaystyle \scriptstyle {\varnothing }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b81366d70c6c5b6e6679155c2449e11e4dae3f42) ![{\displaystyle \scriptstyle {=}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2d0a664fb934fdecbb413b38ad8f5c7abf1932cc) për çfarëdo bashkësi A. Për çfarëdo dy bashkësi A, B kemi inkluzionet:
A B A dhe A B B.
- Kur A
B , atëherë A B A . Kur A B dhe A C , atëherë A B C .
- Nëse A
B![{\displaystyle \scriptstyle {=}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2d0a664fb934fdecbb413b38ad8f5c7abf1932cc) , thuhet se bashkësitë A, B janë disjunkte.
- ↑ 10)Bashkësitë të fundme dhe të pafundme përkufizohen në p. 4.1.
|