Dizionario di marina medievale e moderno

Diversione (d'un fiume). — Il divertire un fiume, facendolo scorrere in un letto nuovo, un tempo anche per levar l'acqua a un'armata, che ne avesse occupata la foce. (Pantera, 1614, p. 334). — Fiume divertito da un altro. — Canale di diversione: diversivo. (Crusca; Canevazzi).