noun Mathematics. the theorem that in a metric space every covering consisting of open sets that covers a closed and compact set has a finite collection of subsets that covers the given set.