თვლადი სიმრავლე
თვლადი სიმრავლე — უსასრულო სიმრავლე, რომლის ელემენტები შეიძლება გადაინომროს ნატურალური რიცხვებით, ე. ი. შეიძლება დამყარდეს ურთიერთ ცალსახა თანადობა (ასახვა) ამ სიმრავლესა და ნატურალურ რიცხვთა სიმრავლეს ან მის რომელიმე ქვესიმრავლეს შორის. გეორგ კანტორმა დაამტკიცა, რომ თვლადია ყველა რაციონალური რიცხვის სიმრავლე და ყველა ალგებრული რიცხვის სიმრავლე. უსასრულო სიმრავლეს, რომელიც თვლადი არ არის, არათვლადი ეწოდება. მაგ., არათვლადია ყველა ნამდვილი რიცხვის სიმრავლე. ყოველი უსასრულო სიმრავლე შეიცავს თვლად ქვესიმრავლეს. სასრული ან თვლადი რაოდენობით თვლადი სიმრავლეების გაერთიანება არის თვლადი სიმრავლე.