theorem Th19: :: DICKSON:20

for R being non empty RelStr holds
( R \~ is well_founded iff for N being Subset of R st N <> {} holds
ex x being object st x in min-classes N )