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