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

У контексту теорије скупова, за скуп се каже да је бројив ако је његова кардиналност (тј. број елемената који садржи) пребројив бесконачан број. То значи да скуп може бити добро уређен, што значи да има укупан ред тако да сваки непразан подскуп има најмање елемента.ӕӕНа пример, скуп природних бројева је бројан јер може бити добро уређен: можемо навести све природне бројеве у низу, а сваки непразан подскуп (као што је скуп парних бројева или скуп вишекратника од 3) има најмањи елемент.ӕӕС друге стране, скуп реалних бројева није избројив јер се не може добро уредити. Не постоји укупан редослед реалних бројева који задовољава горњу особину.