T_i\preceq T_{i+1}