Pomp (duiker)

duiker

Een pomp is een gewestelijke naam (met name: Groningen en Friesland) voor een duiker.

Dit is terug te vinden in enkele toponiemen. Meestal verwijzen de namen naar lozingsduikers.

De aanduiding pomp betekende van oorsprong watertje, plas en is in die betekenis overgegaan naar duiker en naar de (verticale) waterpomp.