A subsidiary proposition assumed to be valid and used to demonstrate a principal proposition.
A theme, argument, or subject indicated in a title.
A word or phrase treated in a glossary or similar listing.
lemma logic A result already proved, which is needed in the proof of some further result. (1995-03-25)