Բազմություն

Բազմանկյունների բազմություն Էյլերի դիագրամի վրա

Բազմություն, իրարից տարբեր օբյեկտների որոշակի հավաքածու, որն իր հերթին դիտարկվում է որպես օբյեկտ։ Բազմության մեջ օբյեկտների դասավորությունը նշանակություն չունի։ Բազմությունները կարող են նշվել ձևավոր փակագծերում՝ թվարկելով բազմության տարրերը։ Օրինակ՝ 2, 4, և 6 տարբեր օբյեկտներ են, երբ դրանք դիտարկվում են առանձին-առանձին, երբ դրանք դիտարկվում են որպես համախմբություն կամ հավաքածու, ապա այն երեք տարրերից բաղկացած պարզ բազմություն է {2, 4, 6}, որը կարող է ներկայացվել նաև Կաղապար:Mset, Կաղապար:Mset, Կաղապար:Mset, Կաղապար:Mset կամ Կաղապար:Mset տեսքով։ Բազմությունները կարող են նաև նշանակվել լատինատառ մեծատառերով՝ $A$, $B$, $C$.

Բազմությունները մաթեմատիկայի ամենաֆունդամենտալ հասկացություններից են։ Զարգանալով 19-րդ դարի վերջում, բազմությունների տեսությունը այժմ մաթեմատիկայի անբաժան մասն է։ Մաթեմատիկական կրթության մեջ, տարրական թեմաները այնպիսիք, ինչպիսին Վեն դիագրամներն են, ուսուցանվում են դպրոցական տարիքում, մինչդեռ ավելի բարձրակարգ հասկացությունները ուսուցանվում են որպես համալսարանական աստիճանի մաս։

Ծագումնաբանություն

Գերմաներեն Menge բառը, որ հայերենով թարգմանվում «բազմություն» կամ հավաքածու, հորինել է Բեռնարդ Բոլցանոն և հիշատակել իր Անվերջության պարադոքս աշխատության մեջ։

Սահմանում

Հատված Գեորգ Կանտորի բնօրինակ սահմանման՝ թարգմանությամբ: «Menge» գերմաներեն բառը «set»-ը այստեղ թարգմանվում է «հավաքածու» բառով

Բազմությունը, դա մեր ընկալման (Anschauung) և մեր մտքի մի շարք որոշակի, օբյեկտների խումբ է, որոնք կոչվում են հավաքածուի տարրեր։ Օբյեկտները, որ միանալով բազմություն են կազմում (նաև հայտնի որպես բազմության տարրեր կամ անդամներ), կարող են լինել ամեն ինչ՝ թվեր, մարդիկ, այբուբենի տառեր, այլ բազմություններ և այլն։ Բազմությունների տեսության հիմնադիրնեից մեկը՝ Գեորգ Կանտորը իր Beiträge zur Begründung der transfiniten Mengenlehre սկզբում բազմության հետևյալ սահմանումն է տվել։

Բազմությունները սովորաբար նշանակվում են մեծատառերով։ A և B բազմությունները հավասար են այն և միայն այն ժամանակ, երբ ճշգրիտ միևնույն տարրերից են կազմված։

Տեխնիկական պատճառներից ելնելով, Կանտորի սահմանումը չեղարկվեց որպես ոչ ադեկվատ, այսօր, առավել ճշգրտություն պահանջող կոնտեքստում օգտագործվում է բազմությունների աքսիոմատիկ տեսությունը, որտեղ բազմության գաղափարըն ընդունվում է որպես պարզագույն հասկացություն, իսկ դրա հատկությունները սահմանվում են որպես աքսիոմների հավաքածու։ Ամենահիմնական հատկություններն են՝ բազմությունն ունի տարրեր և երկու բամություն համարժեք են, այն և միայն այն դեպքում, երբ մեկի յուրաքանչյուր տարր նաև երկրորդի տարր է։

Բազմության նշում

Բազմության անդամների նկարագրման երկու տարածված եղանակ գոյություն ունի․ Ռոսթերի նշանակում և բազմության կառուցման նշանակում։ Սրանք համապատասխանաբար բազմությունների նկարագրման քստենսիոն և ինտենսիոն սահմանումների օրինակներ են։

Ռոսթերի նշանակում

Ռոսթերի նշանակումը (կամ թվարկումով նշանակումը) դա բազմության յուրաքանչյուր անդամի թվարկման մեթոդ է։ Ավելի ստույգ, ռոսթեր նշանակման մեջ (ընդարձակ և բովանդակային նկարագրման օրինակ), բազմությունը ներկայացվում է ձևավոր փակագծերում անդամների թվարկմամբ․

A = Կաղապար:Mset

B = Կաղապար:Mset։

Մեծաթիվ տարրերով բազմությունների համար, անդամների թվարկումը կարելի է կրճատել։ Օրինակ, առաջին հազար դրական թվերի բազմությունը կարելի է ներկայացնել այսպես․

Կաղապար:Mset,

որտեղ («...») - ը ցույց է տալիս, որ ցուցակը շարունակվում է ըստ ցուցադրված օրինաչափության։

Ռոսթերի նշանակման մեջ, անդամի կրկնություննը բազմությունը չի փոխում, օրինակ Կաղապար:Mset և Կաղապար:Mset բազմությունները նույնն են։} Ավելին, բազմության տարրերի թվարկման կարգը կարևոր չէ (ի տարբերություն հաջորդականության կամ կորտեժ, ուստի Կաղապար:Mset միևնույն հավաքածուն է։

Բազմություն կառուցողի ներկայացում

Այս ներկայացման մեջ բազմությունը որոշվում էորպես ընտրություն ավելի մեծ բազմությունից, որ սահմանվում է անդամները ներառող պայմանով։ Օրինակ, F բազմությունը կարող է նկարագրվել հետևյալ կերպ․

$F=\{n\mid n\text{ դրական ամբողջ թիվ է, և }0\le n\le 19\}.$

Այս ներկայացման մեջ, ուղղահայաց գիծը («|») նշանակում է «այնպիսին ինչպես», և նկարագրությունը կարող է մեկնաբանվել որպես «F-ը n այն բոլոր դրական ամբողջ թվերի բազմությունն է, որոնք ընկած են 0 ից 19 միջակայքում, ներառյալ 19-ը»։ Երբեմն ուղղահայաց գծի փոխարեն օգտագործվում է վերջակետի («:») նշանը։

Բազմություն կառուցողի գրառումը բովանդակային սահմանման օրինակ է։

Բազմության ներկայացման այլ եղանակներ

Բազմության ներկայացման այլ եղանակը սեմանտիկ նկարագրության կիրառումն է․

A -ն բազմություն է, որի անդամները առաջին չորս դրական ամբողջ թվերն են։

B -ն Ֆրանսիայի դրոշի գույների բազմությունն է։

Սա բովանդակային նկարագրության այլ օրինակ է։

Անդամակցություն

Կաղապար:Main Եթե B-ն բազմություն է և x-ը B-ի օբյեկտներից մեկն է, դա գրառվում է այսպես x ∈ B և կարդացվում՝ "x-ը B-ի տարր է", ինչպես "x-ը պատկանում է B-ին", կամ "x-ը B-ի մեջ է"։ Եթե y-ը B-ի անդամ չէ, ապա դա գրառվում է այսպես y ∉ B, կարդացվում «y-ը B-ի տարր չի», կամ «y -ը B-ում չէ»։

Օրինակ, A = Կաղապար:Mset, B = Կաղապար:Mset, և F = Կաղապար:Mset,

4 ∈ A և 12 ∈ F; և

20 ∉ F կանաչը ∉ B.

Ենթաբազմություններ

Եթե A-ի յուրաքանչյուր տարր առկա է նաև B-ում, ապա A-ն B-ի ենթաբազմություն է, գրառվում է A ⊆ B (արտասանվում է՝ A -ն պարունակվում է B-ում)։ Սրան համարժեք գրառում է՝ B ⊇ A (արտանսանվում է՝ B -ն A-ի բազմություն է, B ներառում է իր մեջ A-ն, կամ B -ն պարունակում է իր մեջ A-ն։ ⊆ նշանով բազմությունների հարաբերությունը կոչվում է ներառում կամ պարունակություն։ Երկու բազմություն հավասար են, եթե նրանք մեկը մյուսին պարունակում են․ A ⊆ B և B ⊆ A համարժեք է A = B։

Եթե A-ն B-ի ենթաբազմություն է, սակայն հավասար չէ B-ին, ապա A-ն կոչվում է B-ի իսկական ենթաբազմություն, գրառվում է A ⊊ B, կամ պարզապես A ⊂ B , կամ B ⊋ A (B-ն A-ի իսկական բազմություն է, B ⊃ A)։

A ⊂ B և B ⊃ A արտահայտությունները տարբեր հեղինակների կողմից տարբեր կերպ են օգտագործվում, որոշ հեղինակներ դրանք օգտագործում են նկատի ունենալով նույնը ինչ որ A ⊆ B (համապատասխանաբար B ⊇ A), մինչդեռ մյուսներն օգտագործում են դրանք `նույն իմաստով, ինչ A ⊊ B (respectively B ⊋ A)։

Կաղապար:Center

Օրինակներ։

• Բոլոր մարդկանց բազմությունը բոլոր կաթնասունների բազմության իսկական ենթաբազմությունն է։
• Կաղապար:Mset ⊆ Կաղապար:Mset։
• Կաղապար:Mset ⊆ Կաղապար:Mset։

Կա եզակի բազմություն՝ առանց անդամների, կոչվում է դատարկ բազմություն (կամ զրո բազմություն), որը նշանակվում է ∅ սիմվոլով կամ {}։ Դատարկ բազմությունը յուրաքանչյուր բազմության ենթաբազմություն է, և յուրաքանչյուր բազմություն ինքն իր ենթաբազմությունն է։

• ∅ ⊆ A։
• A ⊆ A։

Բաժիններ

S բազմության բաժինը նրա ոչ դատարկ ենթաբազմությունն է, այնպիսին, որ S-ի յուրաքանչյուր x տարր այդ ենթաբազմություններից ճիշտ մեկի տարր է։ Այսինքն, այդ ենթաբազմությունների ցանկացած զույգ չեն հատվում (այն իմաստով, որ բաժինների ցանկացած երկուսը ընդհանուր տարր չունեն, և բաժանման բոլոր ենթաբազմությունների գումարը S-ն է։

Հզոր բազմություններ

S բազմության բոլոր ենթաբազմությունների բազմությունը կոչվում է հզոր բազմություն։ Հզոր բազմությունը պարունակում է S-ը և դատարկ բազմությունը, քանի որ դրանք S-ի ենթաբազմություններ են։ Օրինակ՝ Կաղապար:Mset բազմության հզոր բազմությունը հետևյալ Կաղապար:Mset բազմությունն է։ S բազմության հզոր բազմությունը նշանակվում է P(S)։

n վերջավոր տարրերով բազմության հզոր բազմությունը ունի 2ⁿ տարրեր։ Օրինակ՝ Կաղապար:Mset բազմությունն ունի երեք տարր և վերևում ներկայացված հզոր բազմությունն ունի 2³ = 8 տարր։

Անվերջ (հաշվելի, թե՝ անհաշվելի ) բազմության հզոր բազմությունն անհաշվելի է։ Ավելին, բազմության հզոր բազմությունը միշտ խիստ «մեծ» է սկզբնական բազմությունից, այն իմաստով, որ հնարավոր չէ S-ի յուրաքանչյուր տարր P (S) ճշգրիտ մեկ տարրի հետ զուգակցել։

Բազմության հզորություն

Դատարկ բազմության հզորությունը հավասար է զրոյի։

Որոշ բազմությունների հզորությունն անվերջ է։ Օրինակ, N բնական թվերի բազմությունն անվերջ է։ Որոշ անվերջ հզորություններ ավելի մեծ են մյուսներից։ Օրինակ, իրական թվերի բազմությունն ունի ավելի մեծ հզորություն, քան բնական թվերինը։ Այնուամենայնիվ կարելի է ցույց տալ, որ ուղիղ գծի հզորությունը (ուղղի կետերի քանակը) նույնն է ինչ որ այդ ուղղի ցանկացած հատվածի, ամբողջ հարթության և նույնիսկ ցանկացած վերջավոր Էվկլիդյան տարածության։

Հատուկ բազմություններ

ℕ բնական թվերը ℤ ամբողջ թվերի մաս են կազմում, որոնք էլ ℚ ռացիոնալ թվերի մաս են կազմում, սրանք էլ ℝ իրական թվերի, որոնք և ℂ կոմպլեքս թվերի մաաս են կազմում։

Մի շարք բազմություններ, կամ բազմությունների տեսակներ, որոնք մաթեմատիկական մեծ կարևորություն ունեն և այնպիսի հաճախականությամբ են հիշատակվում, որ իրենց իդենտիֆիկացմանհամար ձեռք են բերել հատուկ անուններ և նշանակումներ։Այդպիսի բազմություններից է դատարկ բազմությունը՝Կաղապար:Mset կամ ∅. Ճիշտ մեկ x տարրով բազմությունը միավոր բազմություն է, կամ սինգլթոն Կաղապար:Mset, այն տարբերվում է x-ից։

Այս բազմություններից շատերը ներկայացվում են թավատառ (P) կամ կիսաթավատառ (ℙ)։ These include:

• P կամ ℙ-ով է նշանակվում պարզ թվերի բազմությունը․ P = Կաղապար:Mset.
• N կամ ℕ-ով է նշանակվում բնական թվերի բազմությունը․ N = Կաղապար:Mset (sometimes defined excluding 0).
• Z կամ ℤ-ով է նշանակվում ամբողջ թվերի բազմությունը (դրական, բացասական և զրո)։ Z = Կաղապար:Mset.
• Q կամ ℚ-ով է նշանակվում ռացիոնալ թվերի բազմությունը (բոլոր կանոնավոր և անկանոն կոտորակների բազմությունը)․ Q = Կաղապար:Mset. Օրինակ, 1/4 ∈ Q և 11/6 ∈ Q. Բոլոր ամբողջ թվերը այս բազմության մեջ են, քանի որ յուրաքանչյուր a թիվ կարելի է ներկայացնել կոտորակի տեսքով՝ a/1 (Z ⊊ Q)։
• R կամ ℝ-ով է նշանակվում բոլոր իրական թվերի բազմությունը։ Այս բազմությունը ներառում է բոլոր ռացիոնալ և իռացիոնալ թվերը (այսինքն հանրահաշվական թվերը չեն կարող ներկայացվել կոտորակի տեսքով, ինչպես Կաղապար:Radic, ինչպես նաև տրանսցենդենտ թվերը, ինչպիսին են π, e)։
• C or ℂ-ով է նշանակվում բոլոր կոմպլեքս թվերի բազմությունը․ C = Կաղապար:Mset. Օրինակ, 1 + 2i ∈ C.
• H կամ ℍ-ով է նշանակվում բոլոր քվատերնոների բազմությունը․ H = Կաղապար:Mset. Օրինակ, 1 + i + 2j − k ∈ H։

Վերոնշյալ բոլոր բազմություններն անվերջ են և յուրաքանչյուրը իր ստորևի իսկական ենթաբազմություն է։ Պարզ թվերը Թվերի տեսությունից և հարակից ոլորտներից դուրս ավելի հազվադեպ են օգտագործվում։

Դրական կամ բացասական բազմությունները երբեմն նշվում են վերատառ համապատասխանաբար դրական և բացասական նշաններով։ Օրինակ, ℚ⁺ ներկայացնում է դրական ռացիոնալ թվերի բազմությունը։

Հիմնական գործողություններ

Գոյություն ունեն մի քանի հիմնարար գործողություններ տված բազմություններից նոր բազմություններ կառուցելու համար։

Միավորումներ

A և B-ի միավորումը նշանակվում է Կաղապար:Nowrap

Կաղապար:Main Երկու բազմություն կարելի գումարել միմյանց։ A և B-ն կարելի է միավորումը՝ A ∪ B, այն բազմություն է, որի անդամները բոլոր այն օբյեկտներն են, որ կամ A-ի կամ B-ի անդամներ են։

Օրինակներ։

• Կաղապար:Nowrap
• Կաղապար:Nowrap
• {1, 2, 3} ∪ {3, 4, 5} = {1, 2, 3, 4, 5}

Միավորման մի քանի հիմնական հատկություններ․

• Կաղապար:Nowrap
• Կաղապար:Nowrap
• Կաղապար:Nowrap
• Կաղապար:Nowrap
• Կաղապար:Nowrap
• Կաղապար:Nowrap այն և միայն այն դեպքում, երբ Կաղապար:Nowrap

Հատում

Կաղապար:Main Նոր բազմություն կարելի է կառուցել նաև տարրերից, որոնք ընդհանուր են երկու բազմությունների համար։ A և B բազմությունների հատումը նշանակվում է Կաղապար:Nowrap և իրենից ներկայացնում է այն օբյեկտները, որոնք միաժամանակ A և B բազմությունների անդամ են։ Եթե Կաղապար:Nowrap ապա A և B բազմությունները չեն հատվում։

A and B բազմությունների հատումը նշանակվում է Կաղապար:Nowrap

Օրինակներ։

• Կաղապար:Nowrap
• Կաղապար:Nowrap
• Կաղապար:Nowrap

Հատումների մի քանի հիմնական հատկություններ

• Կաղապար:Nowrap
• Կաղապար:Nowrap
• Կաղապար:Nowrap
• Կաղապար:Nowrap
• Կաղապար:Nowrap
• Կաղապար:Nowrap այն և միայն այն դեպքում, երբ Կաղապար:Nowrap

Լրացումներ

Կաղապար:Main Երկու բազմություններ կարող են նաև մեկը մյուսից "հանել"։ The relative complement of B-ի հարաբերական լրացումը A-ում (նաև անվանվում է A և B-ի բազմությունների տարբերություն), գրառվում է Կաղապար:Nowrap (կամ Կաղապար:Nowrap), դա is the set of all elements that are members of A,-ի բոլոր այն տարրերի բազմությունն է, որոնք B-ի անդամ չեն։ Թույլատրելի է նաև բազմությունից հանել անդամներ, որոնք տվյալ բազմության անդամ չեն, այնպես որ կանաչ տարրը հանել Կաղապար:Msetբազմությունից, այս կերպ վարվելը չի ազդի բազմության տարրերի վրա։ Որոշակի պայմաններում քննարկվող բոլոր բազմությունները ենթադրվում են որպես U մաթեմատիկական տարածության ենթաբազմություններ. Այդ դեպքում Կաղապար:Nowrap-ը կոչվում է A-ի բացարձակ լրացում կամ պարզապես լրացումև նշանակվում որպես A′ կամ A^c․

• Կաղապար:Nowrap

Օրինակներ։

• Կաղապար:Nowrap
• Կաղապար:Nowrap
• Եթե U-ն ամբողջ թվերի բազմությունն է, E-ն զույգ թվերի և O-ի, ապա կենտ թվերի բազմությունը կլինի U \ E = E′ = O.

Լրացման մի քանի հիմնական հատկություններն են՝

• Կաղապար:Nowrap, երբ Կաղապար:Nowrap։
• Կաղապար:Nowrap
• Կաղապար:Nowrap
• Կաղապար:Nowrap
• Կաղապար:Nowrap
• Կաղապար:Nowrap
• Կաղապար:Nowrap
• Կաղապար:Nowrap
• Կաղապար:Nowrap և Կաղապար:Nowrap
• Կաղապար:Nowrap և Կաղապար:Nowrap
• Կաղապար:Nowrap.
• Եթե Կաղապար:Nowrap, ապա Կաղապար:Nowrap

A, B բազմությունների համար սահմանված լրացման ընդլայնումը սիմետրիկ տարբերությունն է և գրառվում է․

$A\mathrm{\Delta }B=(A\setminus B)\cup (B\setminus A).$

Օրինակ, Կաղապար:Mset և Կաղապար:Mset բազմությունների սիմետրիկ տարբերությունը Կաղապար:Mset բազմությունն է։

Դեկարտյան արտադրյալ

Նոր բազմություն կարելի է կառուցել միավորելով մի բազմության յուրաքանչյուր տարր, միավորելով մեկ այլ բազմության յուրաքանչյուր տարրի հետ։ Երկու A և B բազմությունների Դեկարտյան արտադրյալ A × B նշանակմամբ, դա բոլոր (a, b) կարգավորված զույգերի բազմությունն է, այնպես որ a A-ի անդամ է և b-ն B-ի անդամ է։

Օրինակներ․

• Կաղապար:Nowrap
• Կաղապար:Nowrap
• Կաղապար:Nowrap

Դեկարտյան արտադրյալի որոշ հիմնական հատկություններ՝

• Կաղապար:Nowrap
• Կաղապար:Nowrap
• Կաղապար:Nowrap

Թող A և B-ն վերջավոր բազմություններ են, ապա դեկարտյան արտադրյալի հզորությունը հավասար է այդ բազմությունների հզորությունների արտադրյալը․

• | A × B | = | B × A | = | A | × | B |.

Կիրառություններ

Բազմությունների տեսությունը դիտարկվում է որպես հիմք, որից բոլոր մաթեմատիկայի մոլոր ճյուղերը կարելի է դուրս բերել։ Օրինակ՝ աբստրակտ հանրահաշվի հանրահաշվական կառուցվածքները, ինչպիսիք են խմբերը, դաշտերը, օղակները բազմություններ են մեկ կամ մի քանի գործողություններ կատարելու ժամանակ։

Բազմությունների տեսության գլխավոր կիրառություններից մեկը հարաբերությունների կառուցումն է։ A տիրույթի հարաբերությունը B համատիրույթի հետ A × B' դեկարտյան արտադրյալի ենթաբազմություն է։

Առընչություններ բազմությունների միջև

Էյլերի դիագրամ $A\subset B$համար

$A$ և $B$ երկու բազմությունները կարող են միմյանց հետ տարբեր առընչություն ունենալ

• $A$ ընդգրկում $B$, եթե $A$-ի յուրաքանչյուր անդամը պատկանում է նաև $B$ բազմությանը։

  $A\subseteq B\iff \mathrm{\forall }a\in A:a\in B$

• $A$ ընդգրկում է $B$, եթե $B$ պատկանում է $A$:

  $A\supseteq B\iff B\subseteq A$

• $A$ հավասար է $B$, եթե $A$ և $B$ ընդգրկում են մեկը մյուսին։

  $A=B\iff (A\subseteq B)\wedge (B\subseteq A)$

  • Ցանկացած բազմության համար $A=A$
  • Եթե $A=B$, ապա $B=A$
  • Եթե $A=B$, $B=C$, ապա $A=C$.
• $A$ խստորեն պատկանում է $B$, եթե $A$պատկանում է $B$, բայց նրան հավասար չէ։

  $A\subset B\iff (A\subseteq B)\wedge (A\ne B)$

• $A$ խստորեն պատկանում է $B$, եթե $B$ խստորեն պատկանում է $A$:

  $A\supset B\iff B\subset A$

• $A$ և $B$ չեն հատվում,եթե ընդհանուր անդամներ չունեն։

  $A$ և $B$ չեն հատվում $\iff \mathrm{\forall }a\in A:a\notin B$

• $A$ և $B$ գտնվում են ընդհանուր վիճակում, եթե գոյություն ունի անդամ, որ պատկանում է միայն $A$ բազմությանը, անդամ, որ պատկանում է միայն $B$-ին և անդամ, որ պատկանում է երկուսին էլ։

  $A$ և $B$ գտնվում են ընդհանուր վիճակում $\iff$ $\mathrm{\exists }a,b,c:(a\in A)\wedge (a\notin B)\wedge (b\in B)\wedge (b\notin A)\wedge (c\in A)\wedge (c\in B)$

Գործողություններ բազմությունների հետ

Վենի դիագրամ $A\cap B$համար

Վենի դիագրամ $A\cup B$համար

Վենի դիագրամ $A\setminus B$համար

Վենի դիագրամ $A\mathrm{△}B$համար

• հատում․

  $A\cap B:=\{x\mid x\in A\wedge x\in B\}$.

• միավորում․

  $A\cup B:=\{x\mid x\in A\vee x\in B\}$.

Եթե $A$ և $B$ բազմությունները չեն հատվում, ապա $A\cap B=\varnothing$. Նրանց միավորումը նշանակում են նաև հետյալ ձևով՝ $A+B=A\cup B$

• տարբերություն․

  $A\setminus B:=A\cap \bar{B}=\{x\mid x\in A\wedge x\notin B\}$.

• համաչափ տարբերություն․

  $A△B\equiv A\dot{-}B:=$

  $(A\cup B)\setminus (A\cap B)=A\cap \bar{B}+\bar{A}\cap B=$

  $=\{x\mid (x\in A\wedge x\notin B)\vee (x\notin A\wedge x\in B)\}$.

• դեկարտյան կանմ ուղիղ արտադրյալ․

  $A\times B=\{(a,b)\mid a\in A,b\in B\}$.

Վենի դիագրամ $(A\cap B{)}^{\complement }$համար

Բազմության տարրեր կամ անդամներ կարող են լինել՝ թվեր, մարդիկ, այբուբենի տառեր, ուրիշ բազմություններ և այլն։ Բազմությունները պայմանականորեն նշանակվում են մեծատառերով։ A և B բազմությունները հավասար են այն և միայն այն դեպքում, երբ նրանք բաղկացած են ճիշտ նույն էլեմենտներից։