Searching for links to CountablyInfinite:

• Banach-TarskiParadox
• CountableSet
• CoveringTheReals
• EquivalenceRelation