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