theorem :: RELAT_1:79

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