theorem Th49: :: SETLIM_1:49

for X being set
for B being SetSequence of X st B is V55() holds
superior_setsequence B = B