La være et metrisk rom, tilordnet en metrikk , og la være et underrom av . Vi sier at er i dersom for alle finnes det en følge av elementer fra som konvergerer mot . Ekvivalent kan man si at er tett i hvis og bare hvis for enhver og enhver finnes det et element i slik at . For eksempel er de rasjonale tallene komplett i de reelle tallene; for ethvert tall kan vi finne en følge i som konvergerer mot .