Etymology
Today it means: A filter that removes very small particles. Full definition →
From micro- + filter.
Etymology from Wiktionary, CC BY-SA 4.0.