Searching for links to TransfiniteNumbers:
CountableSet
GeorgCantor
UncountableSet