theorem Th6: :: KNASTER:6

for X being set
for f being c=-monotone Function of (bool X),(bool X)
for S being Subset of X st f . S c= S holds
lfp (X,f) c= S