Searching for links to AxiomOfChoice:
EquivalenceRelation
Infinity
Set
ZornsLemma