Teljanlegt mengi
Úr Wikipediu, frjálsa alfræðiritinu
Teljanlegt mengi er í stærðfræði mengi sem er annað hvort endanlegt eða teljanlega óendanlegt. Það telst endanlegt ef hægt er að varpa því á mengi á sniðinu (1, 2, 3, 4, ... n) þar sem n er náttúruleg tala og teljanlega óendanlegt ef til er gagntæk vörpun milli þess og , önnur mengi eru óteljanleg.