Një bashkësi e pafundme \mathbb{M} quhet e numërueshme nëse ekziston një pasqyrim i një kuptimtë nga \mathbb{M} në \mathbb{N}. Kështu pra bashkësia \mathbb{N} \times \mathbb{N} është e numërueshme[1]
Të bëjë dallimin në mes të bashkësisë së numërueshme nga ajo e [2]
