for X, Y being set holds Union (disjoin (Y --> X)) = [:X,Y:]