theorem Th2: :: WELLORD2:8

for A being Ordinal
for X being set st X c= A holds
RelIncl X is well-ordering