theorem Th7: :: KNASTER:7

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