theorem :: RELAT_1:142

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