Det er viktig å merke seg at disse begrepene brukes om menneskeskapte gruveganger - i motsetning til grotter som alltid er naturlige ganger og hulrom i grunnen.