theorem Th48: :: FOMODEL0:48

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