theorem Th65: :: RELAT_1:71

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