２つの系 に対し，系 を以下で定義する． 0}\times \mathbb{R}^{n_1+n_2},"> の断熱過程は， の断熱過程の組，および の等温準静過程の組 で をみたすものによって生成される． の等温過程は， の等温過程の組，および温度を保つ断熱過程によって生成される…