《诗・大雅・文王有声》：「筑城伊淢，作丰伊匹。」
毛传：「淢，成沟也。」
郑玄笺：「方十里曰成；淢，其沟也，广深各八尺。」
陆德明释文：「淢字又作洫。」

《史记・夏本记》：「﹝禹﹞卑宫室，致费於沟淢。」
裴駰集解引包氏曰：「方里爲井，井间有沟，沟广深四尺。十里爲成，成闲有淢，淢广深八尺。」