 Another example is the definition of distributions, which uses the space of smooth functions that are zero outside of some (unspecified) compact space.Various equivalent notions of compactness, including sequential compactness and limit point compactness, can be developed in general metric spaces.In general topological spaces, however, different notions of compactness are not necessarily equivalent.