Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
XIV
Wykazoznaczeń
(YjŚ)⊑i(XŚ)
–porządekŚwzbiorzeYjestindukowanyprzezporządekŚ
wzbiorzeX22
(YjŚ)§(XjŚ)
–zbiór(YjŚ)jestprzedziałempoczątkowymzbioru(XjŚ)27
(ajb)j(łjb)j(ają)–przedziałyotwarte21
[ajb]j(łjb]j[ają)–przedziałydomknięte21
Intv(XjŚ)
–zbiórwszystkichprzedziałówotwartychwzbiorze
uporządkowanym(XjŚ)21
maxA
–elementnajwiększyzbioruA23
minA
–elementnajmniejszyzbioruA23
infA
–kresdolnyzbioruA24
supA
–kresgórnyzbioruA24
≪
–porządekleksykograficzny34
–zbiórliczbnaturalnych41
DC
–zasadawyborówzależnych45,408
+
–zbiórliczbwymiernychnieujemnych53
−
–zbiórliczbwymiernychujemnych65
–zbiórliczbwymiernych65
+
–zbiórliczbrzeczywistychnieujemnych58
−
–zbiórliczbrzeczywistychujemnych64
–zbiórliczbrzeczywistych64
–zbiórliczbcałkowitych66
|X|=|Y|
–równolicznośćzbiorówXiY67
|X|<|Y|
–równolicznośćzbioruXzpodzbioremzbioruY70
ℵ0
–moczbioruprzeliczalnegonieskończonego80
c
–moccontinuum86
ZF
–teoriamnogościZermelo–Fraenkla99
AC
–pewnikwyboru105
ZFC
–teoriamnogościZermelo–Fraenklazpewnikiemwyboru105
X≃Y
–izomorfizmzbiorówdobrzeuporządkowanychXiY116
V
–uniwersumwszystkichzbiorów119
Vα
–O-tyzbiórwhierarchiizbiorów125
tp(Xj<)
–typporządkowyzbiorudobrzeuporządkowanego(Xj<)117
Ind(z)
–zjestzbioreminduktywnym112
(O)
–Ojestliczbąporządkową108
–klasawszystkichliczbporządkowych119
Lim
–klasaliczbporządkowychgranicznych119
CN
–klasaliczbkardynalnych141
O+1
–następnikliczbyporządkowejO110
O+;
–sumaliczbporządkowychOi;126
O·;
–iloczynliczbporządkowychOi;127
Oβ
–potęga;liczbyporządkowejO130
X≈Y
–równolicznośćzbiorówXiY142
XŚY
–równolicznośćzbioruXzpodzbioremzbioruY142
|X|
–moczbioruX142
R+
–następnikliczbykardynalnejR143
ℵαjωα
–O-taliczbakardynalnanieskończona144
R+λ
–sumaliczbkardynalnychRiλ145
R·λ
–iloczynliczbkardynalnychRiλ145
Rλ
–potęgaliczbykardynalnejRdoλ148