lemma 1

noundomain: communication
Princeton WordNet [ver.3.1]
EnglishEnglish
Definition

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

FENG