اگر بتوان بین اعضای یک مجموعه و زیرمجموعه ای از اعداد طبیعی تناظر یک به یک برقرار کرد، می گوییم آن مجموعه شمارا است.نظریه محاسباتنظریه محاسبه پذیریمجموعه های متناهی، مجموعه اعداد طبیعی، مجموعه اعداد صحیح، مجموعه اعداد گویا و مجموعه اعداد جبری نمونه هایی از مجموعه های شمارا هستند.مجموعه ای را که شمارا نباشد، ناشمارا می نامند. به عنوان چند نمونه از مجموعه های ناشمارا می توان مجموعه اعداد گنگ، مجموعه...