theorem :: RELAT_1:120

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