theorem :: RELAT_1:141

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