theorem :: RELAT_1:183

for X, Y being set st X c= Y holds
for R being b₁ -valued Relation holds R is Y -valued