all-records  = a || b                  
a-plus-b     = a |! b
a-minus-b    = a !& b                  
intersection = a && b                            

b-minus-a    = b !& a
difference   = (a !& b) || (b !& a)