for X, Y being set
for P, R being Relation st P c= R & X c= Y holds
P " X c= R " Y