I need other operations from boolean algebra like OR, XOR, NOT, and others. All these could be implemented over sorted iterators
[enter image description here][1] [1]