WordNet: lemma

Sanatista
a subsidiary proposition that is assumed to be true in order to prove another proposition



lemma