a subsidiary proposition, proved for use in the proof of another proposition

linguistics a word considered as its citation form together with all the inflected forms. For example, the lemma go consists of go together with goes, going, went, and gone