theorem Th9: :: WAYBEL22:9

for X being set holds FixedUltraFilters X c= Filt (BoolePoset X)