The story
Named after John Tukey and Oswald Teichmüller.
Etymology from Wiktionary, CC BY-SA 4.0.
Teichmüller-Tukey lemma
Today it means: A lemma stating that every non-empty collection of finite character has a maximal element with respect to inclusion. Full definition →