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

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

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