Et delmengde i et metrisk rom sies å være dersom enhver følge i har en konvergent delfølge. Enhver kompakt mengde er lukket og begrenset.