theorem :: SETLIM_1:65

for X being set
for B being SetSequence of X st B is monotone holds
B is convergent