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

Leave a Reply