for X being set holds bool X is Filter of (BoolePoset X) by WAYBEL16:11;