I am attempting to find the value of the node “other” in a diagram currently located at this file, chapter “Extending Galois connections between funcoids and reloids”.
By definition .
A few minutes ago I’ve proved , that is found the value of the function “other” at
. It is yet a “mistery” what values it has at different arguments.