We prove new necessary and sufficient conditions for a morphism of coalgebras
to be a monomorphism, different from the ones already available in the
literature.