diameter

Let $A$ a subset of a pseudometric space $(X,d)$ . The diameter of $A$ is defined to be

\sup\{d(x,y):x\in A,y\in A\}

whenever the supremum exists. If the supremum doesn’t exist, diameter of $A$ is defined to be infinite.

Having finite diameter is not a topological invariant.