Imatematikk brukes begrepettellbar til å beskrive antall elementer i enmengde. En mengde er tellbar hvis den inneholder et endelig antall elementer, eller antall elementer ikke er flere enn denaturlige tallene. Med andre ord er en mengde tellbar hvis det er mulig å telle dem ved hjelp av de naturlige tallene. Hvis en mengde er tellbar, men ikke endelig, sier man at den ertellbart uendelig.
Mange velger å definere tellbar som det som her kalles tellbart uendelig. I det tilfellet regnes altså ikke endelige mengder som tellbare.
To mengder er like store – de har sammekardinalitet – hvis det finnes enen-til-en-korrespondanse mellom elementene i mengdene. At det finnes en en-til-en-korrespondanse mellom to mengderA ogB, betyr at man for ethvert element iA kan finne et element iB slik at ethvert element iB korresponderer med nøyaktig et element iA. For eksempel er mengdene {a,b,c,d,e} og {1,2,3,4,5}, like store fordi man har korrespondansena1,b2,c3,d4,e5. Denne korrespondansen kan også uttrykkes ved å si at begge mengdene har fem elementer.
En uendelig mengdeA er tellbar, hvis det finnes en en-til-en-korrespondanse mellomA og mengden av de naturlige tallene,.
Mengden avrasjonale tall er tellbar. Mengden avreelle tall, derimot, er ikke tellbar. At det ikke finnes noen en-til-en-korrespondanse mellom de relle og de naturlige tallene, kan bevises vedCantors diagonalargument.
