Dizionario di marina medievale e moderno

Topo. — Un tempo si usava distruggere i topi per mezzo di famiglie di gatti tenuti a bordo delle navi, e in Inghilterra per mezzo di topi ammaestrati, ai quali si univano spontaneamente gli altri che si trovavano a bordo, che venivano presi in una cassa, nella quale entravano prima quelli ammaestrati. (Parrilli). Ora sono usati i gas tossici. V. Derattizzare.