for X being non empty set
for cF being Filter of X holds cF is proper Filter of (BoolePoset X)