The following problem arose from my attempt to re-express directed topological spaces in terms of funcoids.
Conjecture Let be the complete funcoid corresponding to the usual topology on extended real line
. Let
be the order on this set. Then
is a complete funcoid.