theorem Th24: :: WELLORD1:24

for X being set
for R being Relation st R is well_founded holds
R |_2 X is well_founded