лемма
nlemma
матем. вспомогательная теорема, необходимая только для доказательства другой теоремы
лингв. нормализованная, основная форма слова, вместе с информацией о построении других форм
лог. условно-разделительное умозаключение, являющееся одновременно заключением для предшествующих предпосылок и предпосылкой для последующих заключений