for X, X1, Y being set
for R being Relation of X,Y st X c= X1 holds
R | X1 = R