Premise: Lake Texcoco ( Lago de Texcoco ) was a natural lake within the Anáhuac or Valley of Mexico . Mexico City , or the City of Mexico ( Ciudad de México , [ sjuˈða ðe ˈmexiko ] ; abbreviated as `` CDMX '' ) , is the capital and most populous city of Mexico . It is located in the Valley of Mexico ( Valle de México ) , a large valley in the high plateaus at the center of Mexico , at an altitude of 2240 m . The city was originally built on an island of Lake Texcoco by the Aztecs in 1325 as Tenochtitlan , which was almost completely destroyed in the 1521 siege of Tenochtitlan , and subsequently redesigned and rebuilt in accordance with the Spanish urban standards . The Valley of Mexico ( Valle de México Tepētzallāntli Mēxihco ) is a highlands plateau in central Mexico roughly coterminous with the present-day Distrito Federal ( now Mexico City since year 2017 ) and the eastern half of the State of Mexico .
Hypothesis: Mexico City is in Mexico.
Label: ENTAILMENT