熱

定義 4.3（「熱力学の諸法則」§4）

系が状態 $X$ から状態 $Y$ へ変化する任意の過程について、外界が系にした仕事を $W$ とするとき、

Q := U(Y) - U(X) - W

を、この過程で系が吸収した熱という。微小過程では

dU = \delta Q + \delta W

と書き、これを熱力学第一法則と呼ぶ。

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。