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

Skip to content

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