In mathematics, specifically in general topology, the topology of metric spaces, and functional analysis, there are a variety of related notions of compactness.