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