Assertion: set's element | /r/HasProperty | isolated point of s
Facets:
Source sentences:
text: If the space X is a Euclidean space (or any other metric space), then x is an isolated point of S if there exists an open ball around x which contains no other points of S. (Introducing the notion of sequences and limits, one can say equivalently that an element x of S is an isolated point of S if and only if it is not a limit point of S.)