Eine Menge ist folgenkompakt, wenn jede Folge in der Menge eine konvergente Teilfolge besitzt, deren Grenzwert wieder in der Menge liegt.
In metrischen Räumen ist das äquivalent zu Kompaktheit.