Изброимо множество

от Уикипедия, свободната енциклопедия

Изброимо множество е всяко крайно множество, както и всяко (безкрайно) множество, от което съществува биекция в множеството на естествените числа.

Казано по друг начин - всяко множество, от което съществува инекция в множеството на естествените числа е изборимо. Ако съществува биекция (т.е. такава инекция, която е и сюрекция), то множеството е безкрайно изброимо, а ако няма биекция (а само инекция) - крайно (изброимо) множество. Казано с други думи: едно множество е изброимо тогава и само тогава, когато има мощност (кардиналност) ненадминаваща мощността на множеството на естествените числа.