Wiktionary
subformula
n. (context logic English) Given a formula, a formula that is part of the given formula.