for X being set
for B being SetSequence of X st B is V56() holds
( B is convergent & lim B = Union B )