Lindelöf covering theorem

Etymology
Named after (1870–1946), a Finnish mathematician.

Proper noun

 * 1)  A theorem which states that for any open covering of some given set in Euclidean n-space there is an open subcovering (of that same set) which is countable.