an expression whose valuation is computed by applying its (binary) operator to the valuations of both of its operands
an expression with two operands such as addition
A Boolean expression consisting of two operands joined by a binary operator and resolving to a binary number.