海子，海，源于蒙古语，指湖泊水潭。北京、内蒙古、青海、西藏、云南、新疆、四川许多湖泊都是以海命名的，用汉语「海」之义无法解释，有时特意在后面再加一个「湖」字，以志区别。在四川，九寨沟、黄龙沟沿途的堰塞湖亦名海子。