cantor's theorem

Cardinality and countable sets are fundamental concepts in set theory used to compare the size of finite and infinite sets. They define countable and uncountable sets, one-to-one correspondences, and the cardinality of infinite collections.