All_records  = A || B
A_plus_B     = A |! B
A_minus_B    = A !& B
B_minus_A    = B !& A
Intersection = A && B
Difference   = (A !& B) || (B !& A)
