Union+concat 0 AB 3 X1 5 X2 Inter 4 Y Union+concat (with Map.union) 0 AB 3 X1 5 X2 Update