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

Leave a Reply