一日たつと忘れる

えーと、そうか、モデル論の初歩だけでもキッチリまとめようと昨日思ったのだった。

不等号みたいな記号（ラッパ状の＜）とか、DiagとかL_Aとか、何の説明もなしに使われているときがあるからな。初等同値、初等部分構造とか、ね。タイプ（type）って概念も特有で、混乱するな。