I proved the following simple theorem:

1. $latex (\mathsf{FCD}) f$ is a monovalued funcoid if $latex f$ is a monovalued reloid.
2. $latex (\mathsf{FCD}) f$ is an injective funcoid if $latex f$ is an injective reloid.

See online article “Funcoids and Reloids” and this Web page.

Leave a Reply

Your email address will not be published. Required fields are marked *