theorem Th11: :: WAYBEL16:11

for X being set holds bool X is Filter of (BoolePoset X)