فرض کنیم S و $ S_n $ عضو K(X) [زیر مجموعه های ناتهی و فشرده ی فضای متریک X ] باشد که S $ S_n \rightarrow $.اگر M را به صورت زیر تعریف کنیم:
$ M= \bigcup_{i=1}^ \infty S_n \cup S= \overline{ \bigcup_{i=1}^ \infty S_n } $.در این صورت چرا M متعلق به K(X) است؟
