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

See my book for definitions.

Skip to content
##
1 thought on “New theorem about relationships between funcoids and reloids”

### Leave a Reply

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

See my book for definitions.

I’ve corrected several error in the proof.