theorem Th49: :: SETLIM_1:49

for X being set
for B being SetSequence of X st B is non-ascending holds
superior_setsequence B = B