Kardinalnost
<s>Kardinalnost (kardinalitet) je pojam iz matematike iz teorije skupova, koji označava broj elemenata nekog skupa.</s><s>Na primjer, skup A = {2, 4, 6} sadrži 3 elementa, dakle kardinalnost skupa A je 3.</s>

<s>Georg Kantor je u 19. veku uveo pojam kardinalnosti za ispitivanje beskrajnih skupova.</s><s>Po njemu, dva skupa koja je moguće staviti u odnos jedan na jedan imaju jednaku kardinalnost, odnosno isti broj članova.</s><s>Po tom kriteriju, moguće je da podskup nekog beskonačnog skupa bude iste veličine kao sam skup, što kod konačnih skupova nije moguće.</s>

<s>Kardinalnost skupa A se obično označava kao |A|.</s><s>Pošto je ovaj zapis isti kao i za apsolutnu vrijednost, značenje zapisa ovisi o kontekstu.</s>

<s>Upoređivanje skupova</s>

<s>Za dva skupa A i B kažemo da imaju istu kardinalnost ako postoji bijekcija, tj. injektivna i surjektivna funkcija, sa A na B. Na primer, skup pozitivnih parnih brojeva E = {2, 4, 6, ...} i skup prirodnih brojeva N imaju istu kardinalnost, pošto je funkcija  bijekcija sa N na E.</s>

<s>Formalni zapis</s>

<s>Dva su skupa jednake kardinalnosti odnosno ekvipotentni su ako postoji bijekcija:</s>

<s>onda je izraz:</s>

<s>Postoji li injekcija</s>

<s>onda je izraz:</s>

<s>a ako postoji surjekcija</s>

<s>, onda je izraz:</s>

<s></s>

<s>Ovdje je implicitno uporabljen aksiom izbora.</s>

<s>Kardinalnost skupa prirodnih brojeva zove se alef nula i formalni zapis je:</s>

<s></s>

<s>Ako za skup A postoji bijekcija:</s>

<s>,</s>

<s>onda je kardinalnost skupa A jednak kontinuum i u formalnom jeziku:</s>

<s>.</s>

<s>Izvori</s>

<s>Vidi još 
 Teorija skupova
 Beskonačnost</s>

<s>Teorija skupova</s>

