salt mine: a mine where salt is dug
mine: excavation in the earth from which ores and minerals are extracted
boyle's law: the pressure of an ideal gas at constant temperature varies inversely with the volume