theorem Th51: :: XBOOLE_1:51

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