Example There is such a non-symmetric reloid $latex f$ that $latex (\mathsf{FCD})f$ is symmetric.

Take $latex f=((\mathsf{RLD})_{\mathrm{in}}(\mathord{=})|_{\mathbb{R}})\sqcap (\mathord{\geq})_{\mathbb{R}}$.

I have added this to my online book.

Leave a Reply

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