‖n. [ F. ] (Mil.) A small mine, sometimes formed in the wall or side of an enemy's gallery, to blow in the earth and cut off the retreat of the miners. Farrow.