未だに最小不動点定理の説明に迷いが生じる。周りの人に話そうと突き詰めていくと、やはり無限集合の直観的な把握とそれをどうやって論理で捉えるかといったところで少し修行が足りてない。ある集合が「任意の無限部分集合についてlubやglbをとる操作がある」という集合であれば、単調な関数を使ってさまざまな不動点を使った構成が可能になる