Wiktionary
subproposition
n. (context philosophy mathematics English) A proposition making up part of a greater proposition.