A new counter-example

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

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

I have added this to my online book.

Leave a Reply