ここで、A⊂{limnan;an∈A∀n≥0}{\displaystyleA\subset\{\\lim_{n}a_{n};\a_{n}\inA\\\forall\n\geq0\\}}であることに注意。
注意A⊆{limnan:∀n≥0,an∈A}{\displaystyleA\subseteq\{\lim_{n}a_{n}:\foralln\geq0,\a_{n}\inA\}}。