Povo de aro
En matematiko, povo de aro (aŭ ties kardinalo) estas nombro kiu difinas kvanton de elementoj de aro. Ju pli granda valoro de povo des pli da elementoj la aro havas. Du aroj havas la saman kvantonombron, se kaj nur se ekzistas inter ili dissurĵeto. Por finia aro, la kvantonombro estas natura nombro egala al la kvanto de ĝiaj elementoj. La kvantonombron de aro A oni signas per kard A aŭ |A|.
Ekzistas diversaj senfinecaj kvantonombroj. La plej malgranda el ili estas la kvantonombro de la aro de naturaj nombroj, kaj estas signata per ℵ0 (alef-nulo). Georg Cantor pruvis, ke la kvantonombro de reelaj nombroj (la kardinalo de kontinuumo) estas egala al la kvantonombro de subaroj de la naturaj nombroj, kaj ke tio estas pli granda ol ℵ0. Per la aroteoria aksiomosistemo ZFE (Zermelo-Fraenkel-aksiomoj kun la aksiomo de elekto) ne eblas decidi ĉu ekzistas kardinalo inter ℵ0 kaj la kardinalo de kontinuumo.
La povo de kunaĵo de finiaj aroj estas maksimume egala al la sumo de iliaj kvantonombroj.