I earlier proclaimed that I positively solved this conjecture:

Conjecture $latex f\cap^{\mathsf{FCD}} g = f\cap g$ for every binary relations $latex f$ and $latex g$.

There were error in my proof and I deleted it. See the draft of Funcoids and Reloids article for details on the current state of the problem.

2 Responses

Leave a Reply

Your email address will not be published. Required fields are marked *