Searching for links to UncountablyInfinite:
AllPages
CantorSet
EquivalenceRelation
ZornsLemma