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