Mexico City and Tenochtitlan....?

If Mexico City was built on the ruins of Tenochtitlan (from the aztec empire) then does that mean that Mexico city is on an island in the Texcoco lake???