The MathResource
antecedent,
n. (Logic) the hypothetical clause, the clause that implies the other, in a conditional statement. For example, Fafner is a dragon is the antecedent of Fafner breathes fire if he is a dragon. Compare consequent.