theorem :: KNASTER:47

for A being non empty set
for f being monotone UnOp of (BooleLatt A) ex g being c=-monotone Function of (bool A),(bool A) st lfp (A,g) = lfp f