DREDGING, a process for removing mud and other deposited matters from the beds of rivers, canals, &c. See SUPPLEMENT.