What is the 28 th term in the sequence of positive rationals produced by the counting process described in the discussion of Theorem 5.3.1? The principal results of this section are that (1) every subset of a countable te is countable and (2) the union of countably many countable sets is countable. These theorems are two of the most useful facts about cardinalities.