theorem :: CARD_3:25

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