Assertion: sequence | /r/CapableOf | converge to point
Facets:
value: in the other set
type: OTHER
Source sentences:
text: A metric space is a connected space if and only if, whenever the space is partitioned into two sets, one of the two sets contains a sequence converging to a point in the other set.