theorem Th12: :: WAYBEL16:12

for X being set holds {X} is Filter of (BoolePoset X)