Definition:Antecedent/Also defined as

Antecedent: Also defined as
Let $P = a \circ b$ be an expression.

The term $a$ is known as the antecedent of $P$.