Coinductive definition of equivalence.