2023年8月3日: ビリヤニ

今日はセブンのビリヤニが手に入ったので、昼食に食べた。非常においしい。米がちゃんとバスマティライスなのが素晴らしいところだ。

---

夜は明日からの広島遠征の準備をしつつ、集合論の続き。順序集合の章は最後のおまけ (ツォルンの補題の群論・線形代数への応用) だけだったのでさらっと読んで、これで一通り素朴集合論の内容は終わったことになる。PDFにまとめつつ、位相空間論は後にして、次はとりあえず群論の方を読んでいきたい。