Etymology
Today it means: An extremely small or microscopic rock cavity, typically not considered full caves. Full definition →
From micro- + cavern.
Etymology from Wiktionary, CC BY-SA 4.0.