Let a subset of a pseudometric space . The diameter of is defined to be
Having finite diameter is not a topological invariant.