theorem Th36: :: CARDFIL2:76

for X being non empty set
for F being proper Filter of (BoolePoset X) holds F is Filter of X