Adequate equivalence relation (source code)

= Adequate equivalence relation
{wiki=Adequate_equivalence_relation}