theorem Th4: :: RELSET_2:4

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