This conjecture appeared to be false.
Now I propose an alternative conjecture:
Let , be sets.
Conjecture Funcoids from to bijectively corresponds to the sets of pairs
of filters (on and correspondingly) that
- is nonempty.
- is a lower set.
- every is a dcpo for every and every is a dcpo for every
by the mutually inverse formulas: