Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
XII
WYKAZOZNACZEŃ
|A|
moczbioruA
307
|A|=κ„zbiórAmamocκ”
307
ℵ0
(alefzero)najmniejszanieskończonaliczbakardynalna
310
ℵ1
(alefjeden)najmniejszanieprzeliczalnaliczbakardynalna
310
ℵα
(alefalfa)α-ta,liczącodzera,nieskończonaliczbakardynalna
310
c
continuum,moczbioruliczbrzeczywistych
311
CH
hipotezacontinuum
311
κ+λ
suma(kardynalna)liczbkardynalnychκiλ
312
κ·λ
iloczyn(kardynalny)liczbkardynalnychκiλ
312
κλ
potęga(kardynalna)liczbkardynalnychκiλ
312
cf(κ)
współczynnikwspółkońcowościliczbykardynalnejκ
322
κ+
następnikkardynalnyliczbykardynalnejκ
322
GCH
uogólnionahipotezacontinuum
324
[A]λ
rodzinawszystkichpodzbiorówmocyλzbioruA
325
RELACJE,RELACJERÓWNOWAŻNOŚCI
xry
„xjestwrelacjirzy”
153
Dl(r)
dziedzinalewostronnarelacjir
153
Dp(r)
dziedzinaprawostronnarelacjir
153
r2◦r1
r-1
złożenierelacjir1ir2
relacjaodwrotnadorelacjir
154
154
r|Y
relacjarograniczonadozbioruY
176
≡,≃
typoweoznaczeniarelacjirównoważności
156
[a]r
klasaabstrakcjielementuawzględemrelacjirównoważnościr
159
[a]
klasaabstrakcjielementuawzględemrelacjirównoważnościznanejzkontek-
stu
159
A/r
zbiórwszystkichklasabstrakcji(zbiórilorazowy)relacjirównoważnościrwzbio-
ker(ϕ)
rzeA
jądroodwzorowaniaϕ
159
162
ALGEBRY
◦,•
typoweoznaczeniadziałańdwuargumentowych
164
A=(A,a1,a2,...,am,f1,f2,...,fn)algebra(algebraogólna)ouniwersumA,elemen-
tachwyróżnionycha1,a2,...,amorazdziałaniachf1,f2,...,fn
165
A/≡
algebrailorazowaalgebryA(przezkongruencję≡)
170
A∼
=B
„algebryAiBsąizomorficzne”
198
RELACJEPORZĄDKUILICZBYPORZĄDKOWE
≤X,≤,Ś
typoweoznaczeniaczęściowychporządków
x≤y,xŚy„xjestmniejszybądźrównyy”
173
x<y,x≺y„xjestmniejszyody”
173
(X,≤)
zbiórczęściowouporządkowany
173
infA
kresdolny(infimum)zbioruA
177
173
