Шта је пребројивост у теорији скупова?

Пребројивост је својство скупова које наводи да се скуп може ставити у кореспонденцију један према један са природним бројевима. Другим речима, ако можемо да упаримо сваки елемент скупа са јединственим природним бројем, онда је скуп пребројив.ӕӕНа пример, скуп свих природних бројева је пребројив јер сваки природни број можемо упарити са јединственим целим бројем. Скуп свих рационалних бројева је такође пребројив из истог разлога. С друге стране, скуп свих реалних бројева није пребројив јер постоји небројено много реалних бројева и не постоји начин да се сваки реални број упари са јединственим природним бројем.