断熱的到達可能性
X ≺ Y {\displaystyle X\prec Y} かつ Y ≺ Z {\displaystyle Y\prec Z} ならば X ≺ Z {\displaystyle X\prec Z}
X ≺ Y {\displaystyle X\prec Y} ならば λ X ≺ λ Y {\displaystyle \lambda X\prec \lambda Y}