I’ve proved the following statements (and put them in my book):

Domain of funcoids preserves joins.

Image of funcoids preserves joins.

Domain of reloids preserves joins.

Image of reloids preserves joins.

I’ve proved it using Galois connections.

Skip to content

I’ve proved the following statements (and put them in my book):

Domain of funcoids preserves joins.

Image of funcoids preserves joins.

Domain of reloids preserves joins.

Image of reloids preserves joins.

I’ve proved it using Galois connections.