•F is monotone if X µ Y ) F(X) µ F(Y)
•
•Theorem [Tarski-Knaster] If F is monotone, then lfp(F) exists and is given by any of the following two expressions:
lfp(F) = Å {Y | F(Y) µ Y}
lfp(F) = X1
•
•Note: one of the above fails
when U = infinite. Which one ?