Is this property about a monotonic function between DCPOs true?

42 Views Asked by At

Let $P$ anq $Q$ be dcpos, $f : P \to Q$ be a monotonic function and $D$ be a directed subset of $P$.

Is it the case that: if $y$ is an upper bound of $f(D)$, then $f(\vee D) \le y$.

1

There are 1 best solutions below

0
On BEST ANSWER

Counterexample: $P=Q=([-1,1],\le)$, $D=[-1,0)$, $f=\mathbf1_{[0,1]}$ (indicator function), $y=0$.