for X being set
for R being Relation holds R | X = R /\ [:X,(rng R):]