For functions on a [countable set](/page/Countable%20Set), pointwise boundedness lets one choose a subsequence that converges at every point of the domain. The proof uses repeated subsequence extraction and a diagonal argument, making it a basic compactness tool for countable domains.