Ocasionalmente se habla de la "laguna de México", pero ello sólo cuando se hace mención al período histórico en que los indígenas construyeron un dique entre la sierra de Guadalupe, al norte del lago de Texcoco, y el cerro de la Estrella, en el sur del mismo.