閉集合の定義が分からないと証明できるわけ無いだろ。