for M being non empty MetrSpace holds
( M is complete iff for S being non-empty pointwise_bounded closed SetSequence of M st S is V176() & lim (diameter S) = 0 holds
not meet S is empty )