for X being set
for R being Relation holds rng (R | X) = R .: X