What is the meaning of Subformula?

A formula that is part of another formula.

Source: wiktionary.org