# New theorem about relationships between funcoids and reloids

I have proved (the proof is currently available in this file) that $((\mathsf{FCD}), (\mathsf{RLD})_{\mathrm{in}})$ are components of a pointfree funcoid between boolean lattices.

See my book for definitions.

## One comment

1. I’ve corrected several error in the proof.