a subsidiary proposition that is assumed to be true in order to prove another proposition
source: WordNet 3.0
the lower and stouter of the two glumes immediately enclosing the floret in most Gramineae
source: WordNet 3.0
the heading that indicates the subject of an annotation or a literary composition or a dictionary entry
source: WordNet 3.0
A preliminary or auxiliary proposition demonstrated or accepted for immediate use in the demonstration of some other proposition, as in mathematics or logic.
