theorem Th3: :: RELSET_2:3

for X, Y being set holds {_{(X \/ Y)}_} = {_{X}_} \/ {_{Y}_}