The top documents tagged [denition of equivalence]