Download PDF - Extending a partial equivalence to a congruence and relative embeddings in universal algebras