断熱的到達可能性
X ≺ X ′ {\displaystyle X\prec X'} かつ Y ≺ Y ′ {\displaystyle Y\prec Y'} ならば ( X , Y ) ≺ ( X ′ , Y ′ ) {\displaystyle (X,Y)\prec (X',Y')}