Teichmüller-Tukey lemma

Etymology
Named after and.

Proper noun

 * 1)  A lemma stating that every non-empty collection of finite character has a maximal element with respect to inclusion.