theorem
  for X being set holds {X} is Filter of BoolePoset X by WAYBEL16:12;
