Abgeschlossenheit (algebraische Struktur)

Eine Menge M heißt abgeschlossen, falls der Grenzwert jeder konvergenten Folge mit Werten aus M wiederum in M liegt.

D.h.
$(a_{n})\in M^{n}{\mbox{ konvergent}}\Rightarrow \lim _{n\to \infty }a_{n}\in M$