wordt in verschillende betekenissen gebruikt. Het oudst zijn de mijnstelsels, vnl. in de vestingoorlog gebruikt, waarbij de stellingen of vestingwerken van de tegenstander ondermijnd worden.
In later tijden zijn de landmijnen, een soort aequivalent te land van de zeemijnen, tot ontwikkeling gekomen.
