theorem :: ORDERS_1:25

for R being Relation
for X being set st R is being_quasi-order holds
R |_2 X is being_quasi-order by WELLORD1:15, WELLORD1:17;