theorem Th6: :: WELLFND1:6

for R being non empty RelStr
for x being Element of R holds {x} is well_founded Subset of R