Define for posets with order :
Note that the above is a generalization of monotone Galois connections (with and replaced with suprema and infima).
Then we get the following diagram (see this PDF file for a proof):
It is yet unknown what will happen if we keep apply and/or to the node “other”. Will this lead to a finite or infinite set?