theorem :: RELAT_1:174

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