New theorem about relationships between funcoids and reloids

I have proved (the proof is currently available in this file) that are components of a pointfree funcoid between boolean lattices.

See my book for definitions.