もう一点だけ付け加えておきたい
そのシリーズは定義・定理・証明の編集スタイルで
スッキリして好みなのだが、シリーズの本の中には
証明のプロセスに結果が使われていたり

（好意的に解釈すると、責任を持って教えるために
定理証明器を使って整形したことがあるのではないか？
慣れないことをして前提を構成する集合のうちに
非明示的に結論を意味するファクトが
混入したのではないか？
見慣れない証明が出力され気に入り
よく考えず授業で使いまわしたのではないか？）

シリーズの品質に信頼感が欠ける
時の試練を経ていないので仕方が無いが
上記ミスは刷りを相当重ねた今でも続いている

もし東大の授業で使ってるなら
群を抜いて優秀な東大生
たちどころに間違いを炙り出し
（本の前半のページだから、そこまで進まなかったわけが無い）
指摘を毎年たびたび受けているはずであり
版を改めないのは不合理を通り越して不誠実とさえいえるが
不勉強学生を選別する識別器として密やかに存在し続けると思われる
（ペロッ　これはトラップ）

以上のようにこのシリーズの賞味期限はまだ始まってもいない
このシリーズを行けばどうなるものか　危ぶむなかれ　危ぶめば道はなし