This paper introduces the notions of equivalence co-relation and co-congruence of a co-algebra (understood in “the classical” sense). We show that equivalence co-relations correspond to equivalence relations (and therefore can be understood as encodings of the latter), while co-congruences of co-algebras correspond in the same way to bisimulation equivalences.