Suppose a metric space $(X, d).$ Further suppose that a property $A$ holds for arbitrary compact subset of $X.$ Does the property $A$ also hold for $X$?
Context
I hoped for some general theorems of the above kind. I am not expert in mathematical analysis so I hoped that there exists a class of properties that also hold for the space when they hold for its compact subsets.
If $X$ is a compact metric space, then $X$ itself is a compact subset of $X$, so the property $A$ must hold for $X$.
If $X$ is not compact, then let $A$ be the property that a subset of $X$ is compact. Then $A$ holds for any compact subset of $X$, but $A$ does not hold for $X$ itself.