Teichmüller-Tukey lemma

专有名词proper noun

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