距離空間で
開集合を、ある点の十分近い近傍がその集合に属すること
閉集合を、無限点列がある点に収束すること

と定義した場合

1 Aが閉集合である
2 ¬Aが開集合である

ことが同地であることを証明してください
1⇒2はできたのですが、2⇒1が出来ません