Какво е изброимо множество?

Едно множество е изброимо, ако неговата кардиналност (т.е. броят на елементите, които съдържа) е изброимо безкрайно число, т.е. число, което може да бъде поставено във взаимно еднозначно съответствие с естествените числа. С други думи, наборът е изброим, ако може да бъде изброен или изброен в крайна последователност.

Например, наборът от естествени числа сам по себе си е изброим, защото можем да ги изброим в последователност: 1, 2, 3 , ... . Наборът от цели числа също е изброим, тъй като можем да изброим всички четни числа, след това всички нечетни цели числа и т.н.

От друга страна, наборът от реални числа не е изброим, тъй като има безброй много реални числа, и няма начин да ги изброим всичките в крайна последователност.