# A new theorem about funcoids and reloids

I’ve added to preprint of my book a new simple theorem:

Theorem $\mathrm{GR} ( \mathsf{FCD}) g \supseteq \mathrm{GR}\, g$ for every reloid $g$.

This theorem is now used in my article “Compact funcoids”.