Topics: Calculus - Topology (definition) We say that C a set is compact if ∀∪i∈λAi open covers of C, there exists a finite subcover of C.