Jedes Element von \(\overline{U}\) ist Limes einer Folge \((u_n)\) mit
\(u_n\in U\).
Seien nun \(u,v\in \overline{U}\) dann gibt es Folgen \((u_n),(v_n)\)
mit \(u_n,v_n\in U\), so dass \(\lim u_n=u\) und \(\lim v_n=v\).
Da \(U\) ein Unterraum ist, gilt \(u_n+v_n\in U\) für alle \(n\).
Daraus folgt \(u+v=\lim u_n + \lim v_n=\lim (u_n+v_n )\), also
\(u+v\in \overline{U}\).
Ähnlich geht es bei der Mutliplikation mit Skalaren.