Etymology
Today it means: A formula that is part of another formula. Full definition →
From sub- + formula.
Etymology from Wiktionary, CC BY-SA 4.0.