一般位相に関する雑記帳 1 更新

スキャナーで一部読み直して更新しました。

ZF で成立するという部分の記述を、ZF - {正則性公理} で成立すると、書き直したからです。

こちらのファイルになります。