theorem :: CARDFIL2:7

for X being non empty set
for F being Filter of X holds F <> bool X