Funcoid corresponding to a monovalued reloid is monovalued

I proved the following simple theorem:

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

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

Leave a Reply