Oración 1: definimos Xij como una variable que nos permite saber si se visitó ci y, consecutivamente, se visitó la ciudad cj
Oración 2: se puede decir que el Agente Viajero pasó por la ciudad cj justo después de pasar por la ciudad ci
Conector: en otras palabras
Relación: entailment
Género: theses