subformula
noun
°Given a formula, a formula that is part of the given formula.