# 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.