# Definition:Statement Form/Substatement

A substatement of a statement form $\mathbf A$ is another statement form which occurs as a part of $\mathbf A$.