In this paper, we discuss the fixpoints on the chain and give some equivalent propositions. We also prove a theorem about the existence of optimal fixpoint and provide an example to show that & chain-complete pcset having an optimal fixpoint for every monotonic function on it may be non-bounded joins. Therefore, we have given an answer for J. H. Gallier's question. |