without
BitSetAlgebra
SetLattice
Bool
BoolFromBoolRing
GenBool
GenBoolFromBoolRng
GenBoolFunctions