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