Definition:Following Term

Definition
Let $P = a \circ b$ be an expression.

The term $b$ is known as the following term of $P$.

Also known as
$a$ is also known, particularly in Euclid's, as the consequent of $P$.

However, as this has a specific usage in the field of logic, it is preferred that the term not be used in this context.