for X being non empty set
for Y being Subset of X
for F being Filter of X st Y in F holds
not X \ Y in F