finish the definition of equivalency relation