Compact

If K is a topological subspace, K is compact means given any Open Cover, there is a Finite Subcover.