for X being set
for R being b₁ -defined Relation holds R = R | X ;