theorem Th34: :: CARDFIL2:74

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