All Questions

Let $P$ be a poset with a least element $\bot$ ($\forall x \in P.\ \bot \le x$). Let $M$ be a set of monotone maps $P \to P$. Call $x \in P$ reachable if $x = f_1(f_2(...f_n(\bot)...))$ for some ...