section we shall define several boolean functions acting on lists of elements in
a DeqSet, and prove some of their properties.*)
section we shall define several boolean functions acting on lists of elements in
a DeqSet, and prove some of their properties.*)