Este solo garantiza que un tipo dado (p.e., int) no debería ser mas pequeño que uno de los que aparece sobre él (p.e., short) en la Tabla 1.2.