theorem Th74: :: RELAT_1:80

for X, Y being set
for R being Relation holds R | (X \ Y) = (R | X) \ (R | Y)