収束数列の大小関係は極限操作後も保存される

「収束列の最小関係は極限操作後も保存される」という定理についてのノートを作成。

当面、証明は非公開。証明が掲載されている文献のリストだけ公開。