subformula

About 0.02 uses per million words.

Meaning

1. noun A formula that is part of another formula.

Similar words

subexpression subequation subproposition prime formula atomic formula formula subgrammar subsumption schema subproof

Often followed by

of property is in principle ip that and a