The top documents tagged [theequivalence relation]