Add `equivalence relation\'