theorem Th93: :: XBOOLE_1:93

for X, Y being set holds X \/ Y = (X \+\ Y) \/ (X /\ Y)