Category:Connected Equivalence Relation is Trivial