Some new simple theorems about funcoids and reloids

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.