Searching for links to UncountablyInfinite:

• CantorSet
• EquivalenceRelation
• ZornsLemma