Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences | Publicación