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 )
