Sorolhatóak
Sorolhatóak, vagy angolul enumerable/listable, kifejezés a halmazelméletben és a számítástudományban arra utal, hogy egy halmaz elemei egy véges vagy végtelen sorozatként rendezhetők vagyis indexelhetők a természetes számokkal. Magyarul gyakran a halmaz “sorolható” vagy “sorolható halmaz” kifejezést használják.
Definíció szerint egy halmaz A sorolható, ha létezik olyan bijekció A és B között, ahol B egy
Példák: A véges halmazok sorolhatóak, például {1, 2, 3}. A természetes számok N, a egész számok Z,
Kapcsolódó fogalmak közé tartozik a rekurzívan sorolható (recursively enumerable) halmazok fogalma, amely a számítógépes elméletben azt